| Sat, 10 Sep 2011 09:15:38 +0200 |
Jacob Dawid |
Implemented highlighting of octave keywords in terminal.
|
| Wed, 17 Aug 2011 10:49:57 +0200 |
Jacob Dawid |
Icons are now maintained by the ResourceManager.
|
| Wed, 17 Aug 2011 01:42:00 +0200 |
Jacob Dawid |
Added username and password field to proxy settings.
|
| Wed, 17 Aug 2011 00:36:10 +0200 |
Jacob Dawid |
Proxy settings can now be configured.
|
| Mon, 01 Aug 2011 16:49:33 +0200 |
Jacob Dawid |
Default file gets copied to home directory when no settings file is present.
|
| Mon, 01 Aug 2011 16:45:38 +0200 |
Jacob Dawid |
Default settings are now loaded it there is no user-defined settings.
|
| Wed, 27 Jul 2011 13:54:32 +0200 |
Jacob Dawid |
Hotfixed language support.
|
| Tue, 26 Jul 2011 21:21:23 +0200 |
Jacob Dawid |
Added command line parser class.
|
| Tue, 26 Jul 2011 19:04:07 +0200 |
Jacob Dawid |
Introduced a central ResourceManager class.
|
