[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #41198] GUI Editor tabs should be draggable

From: Torsten
Subject: [Octave-bug-tracker] [bug #41198] GUI Editor tabs should be draggable
Date: Tue, 14 Jan 2014 05:39:24 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:26.0) Gecko/20100101 Firefox/26.0

Follow-up Comment #3, bug #41198 (project octave):

No the size can't be changed by the user. 
What exactly do you mean by "resize-to-fit"?


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]