| Sun, 11 Jan 2015 15:47:37 +0100 |
Torsten |
provide the same filter for history view as for workspace view
gui-release
|
| Thu, 15 May 2014 08:37:38 -0700 |
Rik |
maint: periodic merge of gui-release to stable.
|
| Tue, 06 May 2014 18:08:15 +0200 |
Torsten |
fix performance issue of history viewer with large history entries (bug #42255)
gui-release
|
| Fri, 25 Apr 2014 13:25:25 -0700 |
Rik |
maint: Clean up extra spaces before/after parentheses.
|
| Tue, 11 Mar 2014 19:27:23 -0400 |
John Donoghue |
gui: Add select all menu (Bug #41797)
gui-release
|
| Sun, 10 Nov 2013 16:10:19 -0800 |
Rik |
Tweak GUI strings for conformity.
|
| Tue, 29 Oct 2013 09:54:40 -0700 |
Rik |
Use GNU style coding conventions for code in libgui/
|
| Wed, 23 Oct 2013 22:09:27 -0400 |
John W. Eaton |
maint: Update copyright notices for release.
|
| Wed, 07 Aug 2013 20:18:04 -0500 |
Daniel J Sebald |
Adjust history window copy/evaluate and remove carriage returns (bug #39722)
|
| Thu, 08 Aug 2013 15:52:30 -0400 |
Daniel J Sebald |
Only scroll history window if it is positioned at bottom.
|
| Sun, 30 Jun 2013 20:33:20 -0400 |
John Donoghue |
Make main window copy and paste global for current focused window
|
| Fri, 21 Jun 2013 22:40:53 +0200 |
Torsten |
make stand-alone windows from dock widgets when floating (bug #38785)
|
| Thu, 25 Apr 2013 17:57:55 -0400 |
John W. Eaton |
preserve pending command line input when running commands from GUI actions
|
| Sun, 07 Apr 2013 12:36:07 -0400 |
John W. Eaton |
move common functionality to octave_dock_widget base class
|
| Sun, 07 Apr 2013 12:07:10 -0400 |
John W. Eaton |
use consistent names for dock-widget files
base
libgui/src/history-dockwidget.cc@eb443cbcfe22
|
