Declaration tab marking menu

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

Declaration tab marking menu