public void reset_cursor_blink ()
Ensures that the cursor is shown (i.
e. not in an 'off' blink interval) and resets the time that it will stay blinking (or visible, in case blinking is disabled).
This function should be called in response to user input (e.g. from derived classes that override the textview's key_press_event handler).