The Declaration tab marking menu can be accessed by opening a marking menu on the tab of a declaration in a binder: Close Decl Delete Decl
The Declaration tab marking menu can be accessed by opening a marking menu on the tab of a declaration in a binder: Close Decl Delete Decl