3 Commits

Author	SHA1	Message	Date
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