From 8eecec5949ce370b4c218d61ff5b10deb12cb090 Mon Sep 17 00:00:00 2001 From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de> Date: Fri, 14 May 2010 19:10:16 +0000 Subject: [PATCH] Fixed timer in FormulaWidget -- GitLab