[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional?
From: |
Torsten |
Subject: |
[Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional? |
Date: |
Fri, 24 Jul 2015 21:11:23 +0000 |
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:29.0) Gecko/20100101 Firefox/29.0 |
Update of bug #45428 (project octave):
Status: Need Info => Patch Submitted
_______________________________________________________
Follow-up Comment #6:
I have attached a patch (currently based on the stable branch, without any
comments, just for testing) that adds a "hide/show filter" entry to the
context menu of the workspace view. If the patch provides the desired/expected
behavior I would add it to the history view, too.
Should this go into the stable or dev branch?
(file #34514)
_______________________________________________________
Additional Item Attachment:
File name: bug45428_20150724.patch Size:4 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?45428>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional?,
Torsten <=