| Tue, 20 Jan 2015 09:55:41 -0500 |
John W. Eaton |
maint: Periodic merge of gui-release to default.
|
| 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
|
| Tue, 30 Dec 2014 20:41:00 -0800 |
Rik |
maint: Periodic merge of gui-release to default.
|
| Thu, 25 Dec 2014 15:48:43 +0100 |
Torsten |
fix access to already removed editor window at exit
gui-release
|
| Tue, 23 Dec 2014 15:04:00 +0100 |
Torsten |
determining the active dock from focus changes in the gui
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)
|
| Tue, 12 Aug 2014 15:27:16 -0400 |
Jordi Gutiérrez Hermoso |
Start doxygenising sources
|
| Sun, 20 Jul 2014 20:44:30 +0200 |
Torsten |
fix conflict between main and editor menus when using alt keys (bug #42659)
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: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
|
| Sun, 27 Apr 2014 13:03:08 +0200 |
Torsten |
disable some global shortcuts when editor gets focus to prevent conflicts
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
|
| Tue, 11 Mar 2014 19:27:23 -0400 |
John Donoghue |
gui: Add select all menu (Bug #41797)
gui-release
|
| Fri, 07 Mar 2014 12:54:16 -0500 |
John W. Eaton |
maint: Periodic merge of stable to gui-release.
gui-release
|
| Tue, 04 Mar 2014 21:58:27 +0100 |
Torsten |
fix flashing while debuggung and editor is tabbed behind console (bug #41757)
stable
|
| Sun, 19 Jan 2014 11:30:15 +0100 |
Torsten |
gui: provide prefernces for the octave directory at startup
gui-release
|
| Fri, 10 Jan 2014 19:25:07 -0500 |
Jordi Gutiérrez Hermoso |
maint: periodic merge of stable to gui-release
gui-release
|
| Wed, 08 Jan 2014 21:50:45 +0100 |
Torsten |
synchronize gui's debug actions with the octave core thread (bug #41139)
stable
|
| Fri, 20 Dec 2013 16:13:20 +0100 |
Torsten |
gui: optionally set focus to console when a command is run from another widget
gui-release
|
| Fri, 29 Nov 2013 12:42:13 -0500 |
John W. Eaton |
make hiding of gui warning bar persistent
stable
|
