diff options
Diffstat (limited to 'src/jcgp/gui/GUI.java')
| -rw-r--r-- | src/jcgp/gui/GUI.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/jcgp/gui/GUI.java b/src/jcgp/gui/GUI.java index 91c72e6..27d01b3 100644 --- a/src/jcgp/gui/GUI.java +++ b/src/jcgp/gui/GUI.java @@ -245,4 +245,8 @@ public class GUI extends Application { public Stage getStage() { return stage; } + + public void flushConsole() { + console.flush(); + } } |