|
From: | Rik |
Subject: | [Octave-bug-tracker] [bug #53276] GUI: undocked panes cannot be moved, or resized along upper border |
Date: | Thu, 5 Apr 2018 11:31:13 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:55.0) Gecko/20100101 Firefox/55.0 |
Follow-up Comment #82, bug #53276 (project octave): So that indicates that the patch does some good, but isn't perfect. Should we apply it or not? I have no vote since it doesn't work for me, but that is my system's special failure. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?53276> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |