|
From: | Philip Nienhuis |
Subject: | [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit |
Date: | Tue, 8 Feb 2022 15:32:42 -0500 (EST) |
Follow-up Comment #4, bug #61996 (project octave): @Torsten: What does 'this' in "The simple changeset.... fixes *this*" refer to? Just the settings not being saved? Apart from the moving borders bwteeen vertically stacked docked panes, I also see (on Windows at least) that upon each restart the column widths in the file browser are reset. Do you need a separate bug report for that? _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?61996> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |