1.1 --- a/macros/macro-7.vys	Mon Dec 07 21:56:46 2009 +0000
     1.2 +++ b/macros/macro-7.vys	Thu Dec 10 17:04:48 2009 +0000
     1.3 @@ -1,3 +1,2 @@
     1.4  # Macro F7
     1.5  colorSubtree ("#0000ff");
     1.6 -toggleFlag ("info");