Terminal.matchSetCursor

Sets which cursor the terminal will use if the pointer is over the pattern specified by tag. The terminal keeps a reference to cursor.

More...
class Terminal
void
matchSetCursor

Parameters

tag int

the tag of the regex which should use the specified cursor

cursor gdk.cursor.Cursor

the #GdkCursor which the terminal should use when the pattern is highlighted, or null to use the standard cursor

Detailed Description