[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:
<https://savannah.gnu.org/bugs/?56865>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/