public interface KeYExtConst
static final java.lang.String PRIORITY
Action
s. Describes the priority,
and therefor an order to arrange these actions.static final java.lang.String PATH
Action
s. Describes a path in a menu
where an action should be injected in.
The path should be a dot-separated string, i.e. "Heatmap.Options" would inject an action into a sub-sub Menu Options below Heatmap.