 | GuiDebuggerHostSetContext Method |
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebuggerWindowsForms (in graphViewerAndSequenceDebuggerWindowsForms.dll) Version: GrGen.NET 7.2
SyntaxC#
public void SetContext( UserChoiceMenu userChoiceMenu, UserChoiceMenu additionalGuiUserChoiceMenu )
Parameters
- userChoiceMenu
- Type: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerUserChoiceMenu
- additionalGuiUserChoiceMenu
- Type: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerUserChoiceMenu
Implements
IDebuggerGUIForDataRenderingSetContext(UserChoiceMenu, UserChoiceMenu)See Also