diff -r 2ddab62389ec -r c48bb42fb977 macros/macro-7.vys
--- a/macros/macro-7.vys	Tue Apr 10 13:22:54 2007 +0000
+++ b/macros/macro-7.vys	Wed Apr 07 10:45:24 2010 +0000
@@ -1,3 +1,2 @@
 # Macro F7
 colorSubtree ("#0000ff");
-toggleFlag ("info");