diff --git a/src/engine.py b/src/engine.py
index 8753f09..f418983 100644
--- a/src/engine.py
+++ b/src/engine.py
@@ -113,7 +113,7 @@ class SingleTransition:
ViewControls.execDo()
# doRepaint()
if self.DO_UNDO_REDO_comment:
- self.comment_do(formula_key)
+ self.comment_do()
def prepare_undo(self, step_by_step):
# MonoTest.present-- return MonoTest.f[MonoTest.present]
@@ -198,7 +198,7 @@ class SingleTransition:
# "execute_do_undo_redo()").repaint()
pass
- def comment_do(self, rank) :
+ def comment_do(self) :
if self.present == 0:
self.present = self.undoStackSize
print(" do -----> ", self.present,
diff --git a/src/view_tree.py b/src/view_tree.py
index 5d76cf2..682ecee 100644
--- a/src/view_tree.py
+++ b/src/view_tree.py
@@ -1,9 +1,11 @@
+
# from ete2 import Tree
from anytree import RenderTree
import rules_tree
tree = rules_tree.get_tree()
+
for pre, fill, node in RenderTree(tree):
treestr = u"%s%s" % (pre, node.id)
print(treestr.ljust(0))
diff --git a/ui/#GLArea.glade# b/ui/#GLArea.glade#
deleted file mode 100644
index cb1e5ed..0000000
--- a/ui/#GLArea.glade#
+++ /dev/null
@@ -1,221 +0,0 @@
-
-
-
-
-
-
-
diff --git a/ui/GLArea.glade b/ui/GLArea.glade
index 548069e..3b8b792 100644
--- a/ui/GLArea.glade
+++ b/ui/GLArea.glade
@@ -27,11 +27,37 @@
True
vertical
-
+
+
+ False
+ True
+