|
1fb87d8e1e
|
Style
|
2014-10-05 18:43:10 +02:00 |
|
|
6c677d55b8
|
Fix parsing error
|
2014-10-05 18:09:49 +02:00 |
|
|
5976ba984e
|
Style
|
2014-10-05 15:57:18 +02:00 |
|
|
3bfb84e1c7
|
Rename startGUI to makeGUI
|
2014-10-02 13:14:16 +02:00 |
|
|
860e7af61d
|
Improve error handling
Checks the file extension before attempting to read the file.
Also allow empty argument list.
|
2014-10-01 23:08:58 +02:00 |
|
|
3c140832bc
|
Allow setting a startFile via cli
|
2014-10-01 21:47:54 +02:00 |
|
|
eaafccd544
|
Move gui related stuff to Gtk module
|
2014-10-01 20:26:57 +02:00 |
|
|
eaaa699035
|
Improve inline doc
|
2014-10-01 20:16:02 +02:00 |
|
|
b5a7b7d507
|
Add hotkeys
|
2014-10-01 03:37:27 +02:00 |
|
|
bef0c9afe8
|
Adjust main window size
|
2014-10-01 03:03:39 +02:00 |
|
|
9e87c971ab
|
Style tweaks
|
2014-10-01 03:03:30 +02:00 |
|
|
b9aee774da
|
Polish the gui
More buttons and a file chooser.
|
2014-10-01 02:55:32 +02:00 |
|
|
f9f8b04ea9
|
Minor cleanup
|
2014-10-01 01:19:20 +02:00 |
|
|
7cd62975af
|
Finalize and allow drawing
|
2014-10-01 00:05:29 +02:00 |
|