[Top][All Lists]

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

[Octave-bug-tracker] [bug #56865] Variable editor widget does not resize

From: Henk Borsje
Subject: [Octave-bug-tracker] [bug #56865] Variable editor widget does not resize
Date: Sat, 7 Sep 2019 07:54:23 -0400 (EDT)
User-agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101 Firefox/68.0

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

I'm using Windows 10 release 1803.

Actually, my previous comment was incorrect, it is possible to resize the
widgets, but only by putting the cursor exactly on the edge of the window,
there is no margin of tolerance.  There is never any feedback from the cursor,
so it is not obvious to see when resizing is active. 
I can undock the whole VE and resize that window as expected.


Reply to this item at:


  Message sent via Savannah

reply via email to

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