Mon, 06 May 2013 06:00:44 -0400 |
John W. Eaton |
allow terminal colors to be set from preferences dialog
|
Sat, 04 May 2013 09:37:28 +0200 |
Torsten |
workspace view colors based upon variable scope (derived from Dan's patch #8013)
|
Tue, 16 Apr 2013 21:34:39 +0200 |
Torsten |
configurable size of toolbar icons
|
Thu, 11 Apr 2013 19:01:55 +0200 |
Torsten |
gui: configurable synchronization between file browser and octave directory
|
Tue, 02 Apr 2013 19:43:52 +0200 |
Torsten |
gui: always show file names in file dock widget
|
Mon, 01 Apr 2013 21:19:23 +0200 |
Torsten |
gui: call external editor when opening a file and custom editor is selected
|
Sun, 31 Mar 2013 23:56:11 +0200 |
Torsten |
gui: individually configurable styles of the editor lexers
|
Sat, 19 Jan 2013 16:21:55 +0100 |
Torsten |
gui: selectable language in settings dialog
|
Fri, 14 Dec 2012 13:18:14 +0100 |
Torsten |
provide separate icons for gui's floating widgets
|
Tue, 11 Sep 2012 22:12:45 +0200 |
Thorsten Liebig |
* settings-dialog.ui: removed some strange settings and signal connections
|
Tue, 11 Sep 2012 15:24:22 +0200 |
Thorsten Liebig |
GUI: new setting to restore tabs from previous session; allow silent load file
|
Sun, 02 Sep 2012 22:39:56 +0200 |
Torsten |
provide buttons for the settings dialog (bug #36981)
|
Sat, 18 Aug 2012 18:10:09 -0400 |
John W. Eaton |
rename gui directory to libgu
base
gui/src/settings-dialog.ui@c690a277aae5
|