|
From: | Mike Miller |
Subject: | [Octave-bug-tracker] [bug #42602] GUI Editor could sort tabs alphabetically |
Date: | Fri, 27 Apr 2018 18:24:56 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:59.0) Gecko/20100101 Firefox/59.0 |
Update of bug #42602 (project octave): Priority: 5 - Normal => 1 - Later Status: None => Postponed Release: 3.8.1 => dev _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?42602> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |