When the syntax check is activated and a docker is moved, a node added/
removed, ..., the syntax checker should be deactivated and all overlays
should be hidden.
Original issue reported on code.google.com by schlicht...@gmail.com on 25 Mar 2009 at 1:48
Original issue reported on code.google.com by
schlicht...@gmail.com
on 25 Mar 2009 at 1:48