[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at
From: |
Philip Nienhuis |
Subject: |
[Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit |
Date: |
Wed, 9 Feb 2022 16:08:28 -0500 (EST) |
Follow-up Comment #9, bug #61996 (project octave):
Default.
I just rebuilt and on Linux (Mageia 8) it looks all right now - dock sizes &
positions and column sizes are preserved. I'm cross-building now, will take a
few hours.
I'll report later how the fix here behaves on Windows.
The slowly creeping up separators between vertically stacked docked widgets
(and column widths) may well date back to around the time of the fix of bug
#60646. But ISTR that Kai reported in another bug report (IIRC about
horizontal docked widgets positions) that it was failing for him much longer.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61996>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Torsten Lilge, 2022/02/05
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Philip Nienhuis, 2022/02/06
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Torsten Lilge, 2022/02/07
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Torsten Lilge, 2022/02/07
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Philip Nienhuis, 2022/02/08
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Torsten Lilge, 2022/02/08
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Philip Nienhuis, 2022/02/08
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Torsten Lilge, 2022/02/08
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Torsten Lilge, 2022/02/09
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit,
Philip Nienhuis <=
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Philip Nienhuis, 2022/02/09
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Rik, 2022/02/22
- [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit, Philip Nienhuis, 2022/02/22
- [Octave-bug-tracker] [bug #61996] Borders of vertically stacked docked widgets shift at every restart of Octave, Rik, 2022/02/22