gorhill
b5d8c0ed52
standard comment header
2015-01-11 21:18:24 -05:00
Chris
0bd245803f
Abstract out platform-specific popup UI JavaScript
2015-01-11 19:07:25 -07:00
Chris
0d03499858
Better Safari popover sizing, no mutation events
2015-01-11 18:06:29 -07:00
gorhill
5019f241df
this fixes #418 ; also remove last chrome API reference from portable code
2014-12-17 08:02:37 -05:00
Deathamns
857acaf2d2
Safari: auto-update *.plist files when building
2014-12-11 16:47:51 +01:00
Deathamns
8602c744c1
Safari: fetch data from Info.plist for vAPI.app
2014-12-08 15:44:13 +01:00
Deathamns
326ed213b0
Safari: fix tooltips for dynamic filtering
2014-12-08 09:40:26 +01:00
Deathamns
25cf80838b
Safari: small locale improvements
...
Since there is no API for localization in Safari, we read the locale files
every time when an extension page opens.
This commit adds a new file "make-locale-safari.py", which will make the
size of the locale files smaller.
2014-12-08 08:15:08 +01:00
Raymond Hill
0e12797709
extension restart is platform-dependent
2014-12-02 14:02:17 -02:00
Deathamns
2a26448734
Safari: slightly better pop-up blocking
2014-12-01 21:09:25 +01:00
Deathamns
d93d70b4ae
Safari: vAPI.tabs.close() to vAPI.tabs.remove()
2014-12-01 20:47:29 +01:00
Deathamns
f3bb101310
Safari: (semi)support vAPI.tabs.onUpdated()
2014-12-01 20:47:25 +01:00
Deathamns
c0e11d8182
Safari: fix vAPI.tabs.close() + cleanup
2014-12-01 20:47:23 +01:00