| Fri, 10 May 2013 18:31:04 -0400 |
Mike Miller |
Fix GUI includes when built without Qscintilla
|
| 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)
|
| Sun, 07 Apr 2013 20:09:47 +0200 |
Torsten |
gui: make all styles of the lexers configurable
|
| Sun, 31 Mar 2013 23:56:11 +0200 |
Torsten |
gui: individually configurable styles of the editor lexers
|
| Wed, 12 Sep 2012 16:34:39 -0400 |
Jordi Gutiérrez Hermoso |
maint: whitespace cleanup in GUI code
|
| Sun, 02 Sep 2012 22:39:56 +0200 |
Torsten |
provide buttons for the settings dialog (bug #36981)
|
| Mon, 20 Aug 2012 14:02:08 -0400 |
John W. Eaton |
update copyright notices in libgui directory
|
| Sat, 18 Aug 2012 18:10:09 -0400 |
John W. Eaton |
rename gui directory to libgu
base
gui/src/settings-dialog.h@c1ea6895c753
|
