increase_font_size

Description:

public virtual signal void increase_font_size ()

Emitted when the user hits the '+' key while holding the Control key.