[Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional?

[Torsten]

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/