[Octave-bug-tracker] [bug #61996] Settings of dock widgets not saved at exit

[Torsten Lilge]

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/