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
MonoWindowsWorkaroundConsoleIO Class
MonoWindowsWorkaroundConsoleIO Methods
AllocTheConsole Method
AllowRedraw Method
AttachTheConsole Method
FreeTheConsole Method
PreventComputerFromGoingIntoSleepMode Method
PreventRedraw Method
PrintHighlighted Method
ReadKey Method
MonoWindowsWorkaroundConsoleIO
PrintHighlighted Method
Prints the given text in the chosen highlighting mode on the console
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
override
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
MonoWindowsWorkaroundConsoleIO Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement