|
Common
|
GUI: use 'with' statement
|
2014-09-11 20:51:47 +02:00 |
|
GUI
|
Modernize menus a little
|
2014-09-11 20:51:47 +02:00 |
|
__init__.py
|
Migrate from glade to GtkBuilder
|
2014-09-11 20:51:45 +02:00 |
|
Data.py
|
Data: fix up out-of-order log lines
|
2014-09-11 20:51:47 +02:00 |
|
Main.py
|
Fix --version option
|
2014-09-11 20:51:46 +02:00 |
