aktuell spielerein

2018-08-01 10:08:33 +02:00
parent 1e52b377dc
commit 38042f8dad
5 changed files with 145 additions and 66 deletions
--- a/Plotty.h
+++ b/Plotty.h
@@ -526,6 +526,10 @@ public:
 		gp.flush();
 	}

+    void closeStream(){
+        gp.close();
+    }
+
    void saveToFile(std::ofstream& stream){
        gp.draw(splot);
        stream << "set terminal x11 size 2000,1500\n";