Click or drag to resize

IDisplayerBeginOfDisplay Method

Begins main content display.

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
void BeginOfDisplay(
	string header
)

Parameters

header  String
A header line printed to the console serving as a frame.
See Also