[gnome-clocks] Remove workaround for a gtk bug

[Paolo Borelli <pborelli src gnome org>]

commit 3d2d143dbf4c8e462d64a51ccab7315ace829587
Author: Paolo Borelli <pborelli gnome org>
Date:   Wed Aug 29 18:37:37 2012 +0200

    Remove workaround for a gtk bug
    
    This has been properly fixed in newer gtk

 gnomeclocks/timer.py |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/gnomeclocks/timer.py b/gnomeclocks/timer.py
index c5ecc91..f2eb078 100644
--- a/gnomeclocks/timer.py
+++ b/gnomeclocks/timer.py
@@ -82,10 +82,6 @@ class TimerScreen(Gtk.Box):
             self.leftLabel.set_markup(Timer.BUTTON_MARKUP % (_("Pause")))
             self.leftButton.get_style_context().remove_class("clocks-go")
 
-        # FIXME: work around the fact that gtk does recalculate the label style
-        # if the button class changes
-        self.leftLabel.get_style_context().invalidate()
-
 
 class TimerWelcomeScreen(Gtk.Box):
     def __init__(self, timer):