Carsten Dominik <domi...@uva.nl> writes: > That may be so, but I find that unfortunate. I am really using this > feature often. > > I will go back and take a look at this thread. Can someone tell me what > the subject line of that thread was?
I think it’s this one.
Subject: setting local variables
Date: Thu, 07 Sep 2017 14:48:03 +0200 (and earlier)
Rasmus
--
May the Force be with you
