 | IDisplayerBeginOfDisplay Method |
Begins main content display.
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
SyntaxC#
void BeginOfDisplay( string header )
Parameters
- header
- Type: SystemString
A header line printed to the console serving as a frame.
See Also