1.1 --- a/macros/macro-7.vys	Tue Apr 10 13:22:54 2007 +0000
     1.2 +++ b/macros/macro-7.vys	Mon Mar 15 15:32:37 2010 +0000
     1.3 @@ -1,3 +1,2 @@
     1.4  # Macro F7
     1.5  colorSubtree ("#0000ff");
     1.6 -toggleFlag ("info");