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

[Philip Nienhuis]

Follow-up Comment #4, bug #45428 (project octave):

@anonymous:
yep that was bug #44217.
I think that cset you mentioned indeed did something unintended, while it was
meant to extend the original patch. 
Easy enough to try what happens if I put the original lines back in (but not
later this week)

(I see that there's follow-up for me 8-0 - I wasn't in the cc list of that
(closed) bug so I didn't catch it.)

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?45428>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/