GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
MonoWorkaroundConsoleIO Class
MonoWorkaroundConsoleIO Methods
AllocTheConsole Method
AllowRedraw Method
AttachTheConsole Method
Clear Method
FreeTheConsole Method
PreventComputerFromGoingIntoSleepMode Method
PreventRedraw Method
PrintHighlighted Method
ReadKey Method
ReadKeyWithControlCAsInput Method
MonoWorkaroundConsoleIO
PrintHighlighted Method
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
abstract
void
PrintHighlighted
(
string
text
,
HighlightingMode
mode
)
Parameters
text
Type:
System
String
mode
Type:
de.unika.ipd.grGen.libGr
HighlightingMode
Implements
IConsoleOutput
PrintHighlighted(String, HighlightingMode)
See Also
Reference
MonoWorkaroundConsoleIO Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement