|
From: | Torsten Lilge |
Subject: | [Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit |
Date: | Mon, 7 Feb 2022 15:10:24 -0500 (EST) |
Update of bug #61996 (project octave): Status: None => In Progress _______________________________________________________ Follow-up Comment #2: The simple changeset http://hg.savannah.gnu.org/hgweb/octave/rev/ef8b02fc4588 fixes this except for the case when the experimental terminal widget is used and octave is not quit by typing "exit" into the command line. _______________________________________________________ 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] |