[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional?
|
From: |
Philip Nienhuis |
|
Subject: |
[Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional? |
|
Date: |
Sun, 28 Jun 2015 18:21:32 +0000 |
|
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:36.0) Gecko/20100101 Firefox/36.0 SeaMonkey/2.33.1 |
Follow-up Comment #2, bug #45428 (project octave):
@Doug:
The OP just wants the filter to be hidden, not the entire workspace pane.
I agree with the OP; also for the command history pane. But I wouldn't have a
good suggestion how to hide it - with a dedicated button?
As to the sorting, there's been a patch for that a while ago (can't find it
right now), I had it applied to my private MXE builds. IIRC a was a tiny
one-liner patch.
It may even have been integrated into core, but if so it doesn't work.
The colors - agreed, the tooltip should only show on entries in the workspace
pane.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?45428>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/