update_state
Description:
public abstract void update_state ()
  
  Triggers an update of the extension internal state to take into account state changes in the window, due to some event or user action.
Parameters:
| this | 
Triggers an update of the extension internal state to take into account state changes in the window, due to some event or user action.
| this |