
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.
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.