> I know the patch is there. I always wanted it to be enabled by default. > You were the one that disabled it, because I quote 'this would just > annoy everyone'.
Interesting that I voted +1 for the feature then http://www.dfki.de/pipermail/rock-dev/2012-October/002480.html Actually, given the votes in this thread, the feature should have been enabled by default. Wondering now why it did not. Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
