|
| From: | anonymous |
| Subject: | [Octave-bug-tracker] [bug #45428] GUI: workspace filter - make optional? |
| Date: | Sun, 28 Jun 2015 19:50:51 +0000 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Firefox/31.0 Iceweasel/31.6.0 |
Follow-up Comment #3, bug #45428 (project octave):
I think the initial sort patch mentioned by Philip is #44217
C'set http://hg.octave.org/octave/rev/9a8be23d2c05 removed the clickable table
header, perhaps this wasn't intended?
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?45428>
_______________________________________________
Nachricht gesendet von/durch Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |