Mon, 02 Mar 2015 08:47:16 +0100 |
Torsten |
make sure shortcuts are active in editor after settings dialog (bug #44397)
|
Fri, 27 Feb 2015 09:44:58 -0500 |
Stefan Mahr |
allow qt graphics toolkit to be used in --no-gui mode (bug #44116)
|
Wed, 25 Feb 2015 11:55:49 -0800 |
Rik |
maint: Cleanup C++ code to follow Octave coding conventions.
|
Tue, 24 Feb 2015 21:06:54 -0800 |
Rik |
Rename db_next_breakpoint_quiet to internal function.
|
Tue, 24 Feb 2015 09:35:34 +0100 |
Torsten |
make size of toolbar icons depending on scaling of display
|
Tue, 24 Feb 2015 07:12:13 +0100 |
Torsten |
improve scalability of gui objects (as discussed in bug #41938)
|
Sat, 21 Feb 2015 13:33:28 +0100 |
Torsten |
communicating actual working directory to the editor (#44298)
|
Thu, 19 Feb 2015 22:05:12 +0100 |
Torsten |
use of C++ API for running a file (bug #42307)
|
Tue, 17 Feb 2015 13:34:32 -0800 |
Rik |
Adjust spacing of static_cast<> calls to follow Octave coding conventions.
|
Sat, 14 Feb 2015 11:27:10 -0600 |
Daniel J Sebald |
Restructure shutdown flow and behavior for improved robustness
|
Thu, 12 Feb 2015 14:32:01 -0500 |
John W. Eaton |
also kill pending input line when gui command window is cleared (bug #44015)
|
Wed, 11 Feb 2015 23:03:51 -0800 |
Mike Miller |
Clear the command window safely (bug #44015)
|
Wed, 11 Feb 2015 14:19:08 -0500 |
John W. Eaton |
maint: Update copyright notices for 2015.
|
Fri, 30 Jan 2015 16:06:14 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Sun, 25 Jan 2015 20:03:17 +0100 |
Torsten |
prevent opening the settings dialog multiple times
gui-release
|
Sun, 25 Jan 2015 12:22:48 +0100 |
Torsten |
add apply button to the settings dialog (bug #44081)
gui-release
|
Tue, 20 Jan 2015 09:55:41 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Sun, 18 Jan 2015 18:33:43 -0500 |
Mike Miller |
Fix compilation error when building without QScintilla
gui-release
|
Sat, 17 Jan 2015 09:33:15 +0100 |
Torsten |
provide a user preference for printing the debug location in the terminal
gui-release
|
Wed, 14 Jan 2015 13:54:28 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Tue, 13 Jan 2015 21:46:18 +0100 |
Torsten |
remove warning and info on experimental gui
gui-release
|
Thu, 08 Jan 2015 12:51:35 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Sun, 04 Jan 2015 11:58:31 +0100 |
Torsten |
improved search for active dock-widget after focus has changed
gui-release
|
Tue, 30 Dec 2014 20:41:00 -0800 |
Rik |
maint: Periodic merge of gui-release to default.
|
Mon, 29 Dec 2014 13:52:42 +0100 |
Torsten |
make sure the console window gets active custom style at beginning
gui-release
|
Thu, 25 Dec 2014 15:48:43 +0100 |
Torsten |
fix access to already removed editor window at exit
gui-release
|
Wed, 24 Dec 2014 15:07:31 +0100 |
Torsten |
switching between edit and main shortcuts depending on active dock widget now
gui-release
|
Wed, 24 Dec 2014 13:58:00 +0100 |
Torsten |
fix regression from 476032040df9 (endless loop while looking for active widget)
gui-release
|
Tue, 23 Dec 2014 15:04:00 +0100 |
Torsten |
determining the active dock from focus changes in the gui
gui-release
|
Sat, 20 Dec 2014 17:26:53 +0100 |
Torsten |
allow to cancel exiting if editor tabs are modified and exit is requested in gui
gui-release
|