Name Rascal/Libraries/util/IDE/Contribution

Synopsis Data type to describe contributions to the menus of the IDE.

Types

data Contribution
     = popup(Menu menu)
     | menu(Menu menu)
     | categories(map[str categoryName, FontProperties fontStyle] styleMap)
     | builder(set[Message] ((&T<:Tree) tree) messages)
     | annotator((&T<:Tree) (&T<:Tree input) annotator)
     | outliner(node (&T<:Tree input) outliner)
     | proposer(list[CompletionProposal] (&T<:Tree input, str prefix, int requestOffset) proposer, str legalPrefixChars)
     ;
data Menu 
     = action(str label, void (Tree tree, loc selection) action)
     | action(str label, void (str selStr, loc selLoc) handler) // for non rascal menu's
     | toggle(str label, bool() state, void(Tree tree, loc selection) action)
     | edit(str label, str (Tree tree, loc selection) edit)
     | group(str label, list[Menu] members)
     | menu(str label, list[Menu] members)
     ;

Usage import util::IDE;

Pitfalls This data type is not yet complete.

The categories do not support changing the font name or the font size.

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]