GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
MonoLinuxWorkaroundConsoleIO Class
MonoLinuxWorkaroundConsoleIO Methods
AllocTheConsole Method
AllowRedraw Method
AttachTheConsole Method
FreeTheConsole Method
PreventComputerFromGoingIntoSleepMode Method
PreventRedraw Method
PrintHighlighted Method
ReadKey Method
Mono
Linux
Workaround
Console
IO
Print
Highlighted 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.1
Syntax
C#
Copy
public
override
void
PrintHighlighted
(
string
text
,
HighlightingMode
mode
)
Parameters
text
String
mode
HighlightingMode
Implements
IConsoleOutput
PrintHighlighted(String, HighlightingMode)
See Also
Reference
MonoLinuxWorkaroundConsoleIO Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement