diff -r 2ddab62389ec -r 36eb4b8f409e macros/macro-7.vys
--- a/macros/macro-7.vys	Tue Apr 10 13:22:54 2007 +0000
+++ b/macros/macro-7.vys	Thu Feb 25 11:03:52 2010 +0000
@@ -1,3 +1,2 @@
 # Macro F7
 colorSubtree ("#0000ff");
-toggleFlag ("info");