From a4e388019ad0c3ab76e17208313f700e15563145 Mon Sep 17 00:00:00 2001
From: Zeno Rogue <zeno@attnam.com>
Date: Wed, 5 Sep 2018 15:17:24 +0200
Subject: [PATCH] commandline option to rotate

---
 commandline.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/commandline.cpp b/commandline.cpp
index b6ffcc8d..f64f98cb 100644
--- a/commandline.cpp
+++ b/commandline.cpp
@@ -129,6 +129,12 @@ int arg::readCommon() {
   else if(argis("--draw")) {
     PHASE(3); drawscreen();
     }
+  else if(argis("--rotate")) {
+    PHASE(3); 
+    shift(); ld a = argf();
+    shift(); ld b = argf();
+    View = View * spin(M_PI * 2 * a / b);
+    }
   else if(argis("--exit")) {
     PHASE(3); printf("Success.\n");
     exit(0);