[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI dockwidget toolbars when undocked
|
From: |
Richard |
|
Subject: |
Re: GUI dockwidget toolbars when undocked |
|
Date: |
Sun, 21 Oct 2012 11:53:22 +0100 |
|
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:16.0) Gecko/20121010 Thunderbird/16.0.1 |
On 21/10/2012 11:46, Torsten wrote:
On 21.10.2012 12:05, Richard wrote:
Hi,
I submitted a patch to the patch tracker (#7867) to make the editor have
Hi Richard,
There is already an open bug at
https://savannah.gnu.org/bugs/index.php?37190
for this issue.
Ah, it didn't occur to me to check for this as a bug. I'll read the
discussion.
The second patch for this bug should solve this problem and implements
this feature for every dock widget. If there are no further issues or
side effects, a special class for the octave dock widgets is a good idea.
Torsten
I'll think about implementing this maybe then. Although someone else
might beat me to it.
Richard
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.