[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: |
Sun, 6 Feb 2022 13:13:54 -0500 (EST) |
Follow-up Comment #1, bug #61996 (project octave):
Is this only on Linux?
On Windows, a setting that hasn't been preserved for a quite a long time now
is the position of the border between vertically stacked docked widgets. Those
borders consistently creep up, or get reset to a fairly high position, upon
every restart of Octave.
_______________________________________________________
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 <=
- [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, 2022/02/09
- [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