|
|
c7c0fdd500
|
Style
|
2014-10-05 15:27:48 +02:00 |
|
|
|
c95e003228
|
Make API suck less
|
2014-10-02 20:59:27 +02:00 |
|
|
|
e14805dcce
|
Fix drawing area when other windows overlap
|
2014-10-02 20:57:49 +02:00 |
|
|
|
cb53b2b61d
|
Improve default file chooser settings
If the user hasn't specified a file on CLI, the button
now correctly shows "None" and has $HOME as start dir.
|
2014-10-02 14:36:23 +02:00 |
|
|
|
d39180a723
|
Style
|
2014-10-02 14:30:08 +02:00 |
|
|
|
1ca38186e8
|
Switch to glade
|
2014-10-02 14:29:56 +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 |
|
|
|
5e5408422b
|
Improve haddock documentation
|
2014-10-01 23:02:43 +02:00 |
|
|
|
545c5365e9
|
Limit min scale to 0.1 to avoid errors
|
2014-10-01 21:49:39 +02:00 |
|
|
|
7f20f3ff5b
|
Allow changing the thickness of dots
By achieving that we have introduced the DiagProp data type
which can be enhanced in the future.
|
2014-10-01 21:48:31 +02:00 |
|
|
|
3c140832bc
|
Allow setting a startFile via cli
|
2014-10-01 21:47:54 +02:00 |
|
|
|
fc80b95665
|
Refactor drawing/saving, improve modularity
|
2014-10-01 20:52:07 +02:00 |
|
|
|
eaafccd544
|
Move gui related stuff to Gtk module
|
2014-10-01 20:26:57 +02:00 |
|
