Tobias Witek 9d7fc5c1d4 [core/themes] De-duplicate theme names ... List themes only once, even if they are present multiple times in different locations. (Yes, I know that list(set(result)) would do the same, but here, I'd like to not waste memory and be a bit faster). see #203		2017-11-18 14:51:25 +01:00
..
modules	Merge pull request #199 from cacyss0807/title_bug_fix	2017-10-27 18:21:20 +02:00
__init__.py	[output] Create preliminary framework for output handling	2016-10-30 15:58:35 +01:00
config.py	Fix unused-variables errors found by pylint	2017-10-18 08:36:07 +02:00
engine.py	[core/engine] Option to disable workspace wrap	2017-10-21 13:06:36 +02:00
error.py	[core/themes] Add theme loading	2016-12-08 09:44:05 +01:00
input.py	Fix bad-whitespace errors found by pylint	2017-10-17 18:59:23 +02:00
output.py	Fix unused-variables errors found by pylint	2017-10-18 08:36:07 +02:00
popup.py	[engine/popup] Make tkinter module optional	2017-06-16 15:36:56 +02:00
store.py	[all] pylint refinements	2016-12-09 08:43:14 +01:00
theme.py	[core/themes] De-duplicate theme names	2017-11-18 14:51:25 +01:00
util.py	Fix unused-import errors found by pylint	2017-10-17 18:59:28 +02:00