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
|
Thu, 04 Dec 2014 16:22:26 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Thu, 04 Dec 2014 16:06:31 -0500 |
John W. Eaton |
avoid printing debug location in cmd window when using GUI to step
gui-release
|
Wed, 05 Nov 2014 12:45:44 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Thu, 30 Oct 2014 13:38:02 -0400 |
John W. Eaton |
horizontal scrollbar for GUI terminal on Windows systems
gui-release
|
Thu, 09 Oct 2014 19:20:56 -0400 |
John W. Eaton |
preserve text on Windows terminal resize (bug #41893; patch #8532)
gui-release
|
Thu, 09 Oct 2014 19:20:56 -0400 |
John W. Eaton |
preserve text on Windows terminal resize (bug #41893; patch #8532)
|
Sun, 05 Oct 2014 10:48:26 -0400 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Sun, 28 Sep 2014 09:23:27 +0200 |
Torsten |
improve some menu texts and tool tips (bug #43200)
gui-release
|
Fri, 01 Aug 2014 12:10:05 -0400 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Sun, 20 Jul 2014 20:52:08 +0200 |
Torsten |
make sure the command has focus at startup
gui-release
|
Sun, 20 Jul 2014 20:44:30 +0200 |
Torsten |
fix conflict between main and editor menus when using alt keys (bug #42659)
gui-release
|
Thu, 19 Jun 2014 18:08:00 -0400 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
Tue, 17 Jun 2014 20:53:18 +0200 |
Torsten |
improve size of the release notes window
gui-release
|
Tue, 17 Jun 2014 20:51:05 +0200 |
Torsten |
center the community news window on the screen not on the desktop (bug #42567)
gui-release
|
Mon, 16 Jun 2014 12:11:21 +0200 |
Torsten |
auto completion offers builtins and file functions for octave (bug #41371)
gui-release
|
Thu, 12 Jun 2014 19:48:50 +0200 |
Torsten |
fix unintentionally leaving the debug mode (bug #42309)
gui-release
|
Sun, 25 May 2014 10:29:05 -0700 |
Rik |
maint: Periodic merge gui-release -> default.
|
Sun, 25 May 2014 10:26:18 -0700 |
Rik |
maint: Periodic merge of stable -> gui-release.
gui-release
|
Sun, 25 May 2014 19:20:54 +0200 |
Torsten |
only show directories in dialog box for setting new octave directory
stable
|
Thu, 15 May 2014 08:37:38 -0700 |
Rik |
maint: periodic merge of gui-release to stable.
|
Tue, 06 May 2014 20:38:50 +0200 |
Torsten |
status bars and code folding a user preference (bug #42306)
gui-release
|
Fri, 02 May 2014 17:44:44 +0200 |
Torsten |
disabling global shortcuts when terminal has focus as user preference
gui-release
|
Thu, 01 May 2014 13:24:27 +0200 |
Torsten |
use shortcut manager for the main news menu
gui-release
|
Thu, 01 May 2014 12:12:08 +0200 |
Torsten |
use shortcut manager for the main help menu
gui-release
|
Wed, 30 Apr 2014 19:58:47 +0200 |
Torsten |
fix compiling when scintilla is not available
gui-release
|
Wed, 30 Apr 2014 19:33:55 +0200 |
Torsten |
use shortcut manager for the window menu
gui-release
|
Mon, 28 Apr 2014 22:48:28 +0200 |
Torsten |
use shortcut manager for the debug menu
gui-release
|
Mon, 28 Apr 2014 11:17:05 -0700 |
Rik |
maint: Periodic merge of gui-release to stable.
|
Sun, 27 Apr 2014 13:03:08 +0200 |
Torsten |
disable some global shortcuts when editor gets focus to prevent conflicts
gui-release
|
Fri, 25 Apr 2014 13:25:25 -0700 |
Rik |
maint: Clean up extra spaces before/after parentheses.
|
Fri, 25 Apr 2014 06:40:21 +0200 |
Torsten |
handling qscintilla internal shortcuts and commands depending on qsci version
gui-release
|
Wed, 23 Apr 2014 08:42:19 +0200 |
Torsten |
add all editor actions to the shortcut manager and fix their shortcut context
gui-release
|
Mon, 07 Apr 2014 13:31:33 -0400 |
John Donoghue |
GUI: Prompt to exit Octave option (Bug #41080)
gui-release
|
Tue, 01 Apr 2014 21:29:48 +0200 |
Torsten |
first implementation of a shortcut manager (bug #41217)
gui-release
|
Thu, 20 Mar 2014 12:28:53 -0400 |
John W. Eaton |
maint: Periodic merge of stable to gui-release.
gui-release
|
Wed, 19 Mar 2014 23:23:50 +0100 |
Torsten |
info on experimental gui is displayed with vertical scroll bar (bug #41840)
stable
|
Tue, 11 Mar 2014 19:27:23 -0400 |
John Donoghue |
gui: Add select all menu (Bug #41797)
gui-release
|
Thu, 20 Feb 2014 14:05:45 -0500 |
John W. Eaton |
Initial integration of QtHandles.
gui-release
|
Sat, 08 Feb 2014 13:33:05 -0800 |
Rik |
maint: Periodic merge of stable to gui-release.
gui-release
|
Fri, 07 Feb 2014 11:37:56 +0100 |
Torsten |
fix problems with gui startup (bug #41452) and focus issues (bug #40823)
stable
|
Sun, 26 Jan 2014 12:55:21 +0100 |
Torsten |
create empty script when editor becomes visible without open files (bug #41347)
gui-release
|
Thu, 23 Jan 2014 21:00:51 +0100 |
Torsten |
some text improvements in the gui (#bug 41201)
gui-release
|
Tue, 21 Jan 2014 18:11:50 +0100 |
Julien Bect |
Warn when saving/running a script whose name is not a valid identifier.
gui-release
|
Sun, 19 Jan 2014 11:30:15 +0100 |
Torsten |
gui: provide prefernces for the octave directory at startup
gui-release
|
Wed, 15 Jan 2014 15:23:46 -0500 |
John W. Eaton |
maint: Periodic merge of stable to gui-release.
gui-release
|
Wed, 15 Jan 2014 15:22:03 -0500 |
John W. Eaton |
avoid startup crash if curl library is not available (bug #41067)
stable
|
Tue, 14 Jan 2014 20:56:57 +0100 |
Torsten |
warn when saving or executing a file with spaces in its name (bug #41136)
gui-release
|
Mon, 13 Jan 2014 10:48:49 -0800 |
Rik |
maint: Merge stable -> gui-release.
gui-release
|
Sun, 12 Jan 2014 12:41:39 +0100 |
Torsten |
update some icnons of the gui
stable
|