mirror of
https://gitlab.gnome.org/GNOME/gimp.git
synced 2025-07-04 17:59:37 +00:00
![]() Just add a no-op flush() as I think it's actually unneeded in the context of a GtkTextView GUI. At least it doesn't cause issues with copy-pasted code or when using external libraries using the sys.stdout.flush() interface. |
||
---|---|---|
.. | ||
.gitignore | ||
Makefile.am | ||
meson.build | ||
pyconsole.py | ||
python-console.py |