Terminal.matchSetCursorType

Sets which cursor the terminal will use if the pointer is over the pattern specified by tag.

class Terminal
void
matchSetCursorType

Parameters

tag int

the tag of the regex which should use the specified cursor

cursorType GdkCursorType

a GdkCursorType Since 0.11.9

Meta