| Thu, 07 Jan 2016 20:56:34 +0100 |
Torsten |
always restore breakpoints of an editor file after saving
|
| Wed, 30 Dec 2015 21:49:12 +0100 |
Torsten |
resolve some identifier ambiguities in the settings dialog
|
| Tue, 29 Dec 2015 18:06:32 +0100 |
Daniel J Sebald |
New marker class for modified file breakpoint and position maintenance.
|
| Sun, 27 Dec 2015 10:50:32 -0500 |
John Donoghue |
GUI: add editor toolbar display option (Bug #46705)
|
| Sat, 28 Nov 2015 14:07:09 -0500 |
John W. Eaton |
maint: periodic merge of stable to default
|
| Thu, 26 Nov 2015 08:24:20 -0800 |
Armin Müller |
Tweak GUI ToolTip strings for consistency.
stable
|
| Sat, 21 Nov 2015 14:47:22 +0100 |
Torsten |
provide a user preference for the encoding used by the editor (bug #45597)
|
| Mon, 02 Nov 2015 22:42:28 +0100 |
Pantxo Diribarne |
Make the file browser open files more consistently (bug #45844)
|
| Sat, 14 Nov 2015 13:31:00 +0100 |
Torsten |
possibility to set all shortcuts to default values and check overwriting
|
| Sun, 08 Nov 2015 11:59:50 +0100 |
Torsten |
provide only one set of gui shortcuts at a time
|
| Fri, 23 Oct 2015 07:30:22 +0200 |
Torsten |
remove column visibility of file browser from settings dialog
|
| Wed, 01 Apr 2015 08:49:18 -0700 |
Rik |
Fix several typos in GUI strings (bug #44681).
|
| Sun, 08 Mar 2015 17:27:23 +0100 |
Torsten |
* settings-dialog.ui: reorder editor pane
|
| Sun, 08 Mar 2015 09:48:45 +0100 |
Torsten |
make notepad++ the custom default editor in windows
|
| Fri, 06 Mar 2015 07:42:13 +0100 |
Torsten |
make color gradient of custom title bar adjustable (bug #44435)
|
| 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)
|
| Sun, 15 Feb 2015 10:36:56 -0800 |
Rik |
Correct typos and English phrasings in GUI preferences dialog.
|
| 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
|
| Sat, 17 Jan 2015 09:33:15 +0100 |
Torsten |
provide a user preference for printing the debug location in the terminal
gui-release
|
| Fri, 26 Dec 2014 09:10:38 +0100 |
Torsten |
hiding horizontal scroll bar in editor when not needed (bug #41592)
gui-release
|
| Tue, 23 Dec 2014 16:29:02 +0100 |
Torsten |
custom style of dock widget title bars depending on focus (bug #43837)
gui-release
|
| Thu, 06 Nov 2014 18:50:25 +0100 |
Torsten |
provide option for using tabs for indentations in the editor
gui-release
|
| Sat, 11 Oct 2014 15:44:07 +0200 |
Torsten |
reorder eol modes in the editor settings
gui-release
|
| Sat, 11 Oct 2014 11:05:53 +0200 |
Torsten |
add a preference for the default eol mode of new files (bug #43334)
gui-release
|
| Sat, 23 Aug 2014 13:19:12 +0200 |
Torsten |
user setting for hiding the tool tip in the workspace view (part of bug #42306)
gui-release
|
| Sun, 20 Jul 2014 21:23:32 +0200 |
Torsten |
add an user preference for loading changed files without a prompt (bug #42678)
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 18:45:29 +0200 |
Torsten |
allow export and import of shortcut sets
gui-release
|
| Tue, 06 May 2014 20:38:50 +0200 |
Torsten |
status bars and code folding a user preference (bug #42306)
gui-release
|
| Mon, 05 May 2014 19:49:41 +0200 |
Torsten |
provide a second set of shortcuts
gui-release
|
| Fri, 02 May 2014 17:44:44 +0200 |
Torsten |
disabling global shortcuts when terminal has focus as user preference
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, 06 Mar 2014 03:56:59 +0500 |
Ahsan Ali Shahid |
Add preference for terminal windows buffer size (bug #41474)
gui-release
|
| Tue, 18 Feb 2014 21:56:05 +0100 |
Torsten |
* settings-dialog.ui: minor text corrections
gui-release
|
| Tue, 18 Feb 2014 21:38:51 +0100 |
Torsten |
provide a long line marker in the editor
gui-release
|
| Mon, 17 Feb 2014 20:42:08 +0100 |
Torsten |
automatic completion list as user preference (bug #41469)
gui-release
|
| Thu, 23 Jan 2014 21:16:15 +0100 |
Torsten |
* settings-dialog.ui: missing changes for cset dfc6ef6ac455
gui-release
|
| Thu, 23 Jan 2014 21:00:51 +0100 |
Torsten |
some text improvements in the gui (#bug 41201)
gui-release
|
| Thu, 23 Jan 2014 19:35:43 +0100 |
Torsten |
improve width of editor tabs when showing complete file path
gui-release
|
| Sun, 19 Jan 2014 17:25:35 +0100 |
Torsten |
gui: provide prefernces for the file browser's directory at startup
gui-release
|
| Sun, 19 Jan 2014 11:30:15 +0100 |
Torsten |
gui: provide prefernces for the octave directory at startup
gui-release
|
| Sat, 18 Jan 2014 09:25:33 +0100 |
Torsten |
settings dialog with varaible size (bug #41197)
gui-release
|
| Thu, 16 Jan 2014 23:04:58 +0100 |
Torsten |
fix duplicate of settings string
gui-release
|
| Tue, 14 Jan 2014 22:51:43 +0100 |
Torsten |
max. width of editor tabs limited and configurable
gui-release
|
| Mon, 13 Jan 2014 10:48:49 -0800 |
Rik |
maint: Merge stable -> gui-release.
gui-release
|
| Sat, 11 Jan 2014 22:29:52 +0100 |
Torsten |
minor fix of text strings and related translations (part of bug #41201)
stable
|
| Tue, 31 Dec 2013 13:31:45 +0100 |
Torsten |
redesign of dock widgets title bar with configurable colors
gui-release
|
| 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
|
| Sun, 17 Nov 2013 09:55:49 +0100 |
Torsten |
add preference for allowing connections to the octave web site
|
| Sun, 10 Nov 2013 16:10:19 -0800 |
Rik |
Tweak GUI strings for conformity.
|
| Wed, 23 Oct 2013 22:20:06 +0200 |
Torsten |
new preference in settings: editor creates nonexisting files wihtout prompt
|
| Thu, 17 Oct 2013 20:29:17 +0200 |
Torsten |
add menu entries to the editor for directly accessing the editor's settings
|
| Sat, 29 Jun 2013 09:21:43 +0200 |
Torsten |
fix of typos in text strings of the gui
|
| Sun, 23 Jun 2013 16:10:34 +0200 |
Torsten |
* settings-dialog.ui: prevent warning message for z-order of verticalSpacer_3
|
| Tue, 11 Jun 2013 15:09:13 +0800 |
Ben Abbott |
Reduce the spacing for the "Terminal Colors" under Terminal tab.
|
| Tue, 11 Jun 2013 14:41:20 +0800 |
Ben Abbott |
Remove z-order assignments of invalid widgets.
|
| Tue, 11 Jun 2013 14:30:04 +0800 |
Ben Abbott |
Remove the top horizontal line from the "Workspace" tab.
|
