godot-xterm/addons/godot_xterm/editor_plugins
Leroy Hopson 041e7a445f Request redraw after write if terminal visible
Requests a redraw after writing to terminal if it is visible, otherwise
terminal will not be updated if there are no other redraw requests.

Fixes #53.
2022-08-08 10:13:53 +12:00
..
terminal Request redraw after write if terminal visible 2022-08-08 10:13:53 +12:00