Gyorgy Orban 98c6b49cde use enum module instead or usertypes.enum ... Remove the usertypes.enum from the source and use the standard enum module instead. Enum start number is available since python 3.5		2017-11-02 18:56:11 +01:00
..
statusbar	use enum module instead or usertypes.enum	2017-11-02 18:56:11 +01:00
__init__.py	Finally update copyrights...	2017-05-09 21:37:03 +02:00
mainwindow.py	Fix docstrings	2017-10-11 14:40:05 +02:00
messageview.py	Fix merge resolution in messageview.	2017-09-07 12:08:26 -04:00
prompt.py	Remove old deprecated commands	2017-10-17 10:44:22 +02:00
tabbedbrowser.py	Abort pinned tab prompt if tab is destroyed	2017-10-31 19:07:01 -04:00
tabwidget.py	use enum module instead or usertypes.enum	2017-11-02 18:56:11 +01:00