From 1673f113f4b17429040b6ada711404bb6c4cda47 Mon Sep 17 00:00:00 2001 From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de> Date: Mon, 28 Sep 2009 10:21:34 +0000 Subject: [PATCH] cleaned up stuff, still mouseover problems in variable selector -- GitLab