add History support and make buttons rounded

1 files changed, 0 insertions, 3 deletions

diff --git a/History.java b/History.java
index 32b8598..b1527ef 100644
--- a/History.java
+++ b/History.java
@@ -7,9 +7,6 @@ public class History {
         hist = new Vector<String>();
     }
 
-    public void addHistory(String h) {
-        hist.add(h);
-    }
     public Vector<String> getHistory() {
         return hist;
     }