Menu
▾
▴
#23 Apply commands "in general" via context menu
In Z/Eves Output, when context menu is used to select a predicate/expression, "Apply >" submenu allows to select a command with e.g. "apply XXX to expression XXX". An similar option that gives a general "apply XXX" would also be good and save deleting proof elements afterwards.
