Details
-
Improvement
-
Status: Open
-
Major
-
Resolution: Unresolved
-
None
-
None
Description
Such a context menu was recently added to the main window. It could be added to other windows, in particular the AST browser window.