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 Cursor

the gdk.Cursor which the terminal should use when the pattern is highlighted, or NULL to use the standard cursor

Detailed Description

Deprecated: Use Terminal.matchSetCursorName instead.