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 8056140..62a159c 100644 --- a/src/jcgp/gui/GUI.java +++ b/src/jcgp/gui/GUI.java @@ -246,4 +246,8 @@ public class GUI extends Application { public Stage getStage() { return stage; } + + public void flushConsole() { + console.flush(); + } } |