[Top][All Lists]

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

[Octave-bug-tracker] [bug #57226] [GUI] Undocked editor position isn't r

From: Torsten Lilge
Subject: [Octave-bug-tracker] [bug #57226] [GUI] Undocked editor position isn't reliably retained between Octave sessions
Date: Thu, 14 Nov 2019 01:14:19 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/13.0 Safari/605.1.15 Epiphany/605.1.15

Update of bug #57226 (project octave):

             Assigned to:                    None => ttl                    
        Operating System:       Microsoft Windows => Any                    


Follow-up Comment #1:

Thanks for the extra report, which helps to keep track. I can confirm that the
editor is not shown after a restart in some cases and will have a look at
this. I guess, the issue with resetting the position to the default one has
the same cause.

Another issue seems to be the default position, which apparently does not
consider the height of the title bar. Related to this, if this happens, ins't
Alt+Space an easier way to move the window with the keyboard? 

Location of the settings file: Some time ago, we switched to a new, platform
specific location of the settings file. If the new octave-gui.ini is not
present, octave looks for the old one, before starting with the welcome


Reply to this item at:


  Message sent via Savannah

reply via email to

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