Menu

#1634 undo (or CTRL Z) closes variable browser window

StuartMill
closed
nobody
rc.4 (14)
4normal
2023-06-06
2023-06-04
No

I have also noticed that undo will also occasionally clear bookmarks, but I can't reliably reproduce it.

Discussion

  • High Performance Coder

    That's a surprising one! Can't think why it would be like this, unless it is some default behaviour baked into electron. This doesn't happen with the TCL version, so that's probably the case.

     
  • High Performance Coder

    • status: open --> closed
     
  • High Performance Coder

    Minsky needs to close subsidiary windows like godley tables and plot popups, as the object they refer to may vanish in the undo.

    But it doesn't need to close the variables pane, so I added an exclusion for that.

     

Anonymous
Anonymous

Add attachments
Cancel





MongoDB Logo MongoDB