From d936c6ecfc553e4ef7a1a62ef246722467e67945 Mon Sep 17 00:00:00 2001
From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de>
Date: Fri, 21 May 2010 15:48:49 +0000
Subject: [PATCH] Variable selector now working with rendered symbols

-- 
GitLab