match_remove

Description:

public void match_remove (int tag)

Removes the regular expression which is associated with the given tag from the list of expressions which the terminal will highlight when the user moves the mouse cursor over matching text.

Parameters:

this	a Terminal
tag	the tag of the regex to remove