Deathamns
720794357c
Safari: get appinfo from tooltip
2015-01-13 07:29:41 +01:00
Deathamns
ecdee65fda
Add license headers, plus some code styling
2015-01-13 07:29:16 +01:00
Chris
e287e4643f
Fix Safari i18n function (default to '' if no localized string found)
2015-01-11 20:37:49 -07: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
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
Deathamns
c0e11d8182
Safari: fix vAPI.tabs.close() + cleanup
2014-12-01 20:47:23 +01:00