radfish 1516d55a88 Sidebar: rename media-globe/ to media_globe/ (#1973) ... So that it can be an importable package. This is in preparation for setuptools packaging.		2019-04-16 11:34:55 +02:00
..
languages	Update zh.json for more respect (#1867)	2019-01-22 11:00:17 +01:00
media	Fix sidebar opening for fast mouse movements	2019-04-04 13:28:38 +02:00
media_globe	Sidebar: rename media-globe/ to media_globe/ (#1973)	2019-04-16 11:34:55 +02:00
__init__.py	Change to Python3 coding style	2019-03-15 21:06:59 +01:00
SidebarPlugin.py	Sidebar: rename media-globe/ to media_globe/ (#1973)	2019-04-16 11:34:55 +02:00
ZipStream.py	Change to Python3 coding style	2019-03-15 21:06:59 +01:00