[Octave-bug-tracker] [bug #54185] No window menu update when closing floating editor via the window manager

[Torsten]

URL:
  <http://savannah.gnu.org/bugs/?54185>

                 Summary: No window menu update when closing floating editor
via the window manager
                 Project: GNU Octave
            Submitted by: ttl
            Submitted on: Mon 25 Jun 2018 10:10:14 PM CEST
                Category: GUI
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Incorrect Result
                  Status: None
             Assigned to: ttl
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: dev
        Operating System: Any

    _______________________________________________________

Details:

When the floating editor window is closed by means of the window manager, i.e.
via the close button of the window decoration or via Alt-F4, the related
"Window" menu entry "Show Editor" is not updated and remains checked.

For all other dock widgets, the related menu entry is correctly updated.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?54185>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/