[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: Felipe G. Nievinski
Subject: [Octave-bug-tracker] [bug #41198] GUI Editor tabs should be draggable
Date: Mon, 13 Jan 2014 22:17:49 +0000
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/32.0.1700.72 Safari/537.36

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

also makes tabs resizable?

when Preference "show full path in the tab title" is enabled, tabs
resize-to-fit makes them too wide.


Reply to this item at:


  Message sent via/by Savannah

reply via email to

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