diff -r e99c8cee9479 authconfig-gtk.py
--- a/authconfig-gtk.py	Fri Nov 01 16:54:05 2013 +0100
+++ b/authconfig-gtk.py	Mon Nov 25 15:02:45 2013 +0100
@@ -334,10 +334,6 @@
 
 	def update_widgets(self, mapname, map, xml, topparent):
 		self.info.update()
-		if mapname == "smartcard_map":
-			widget = xml.get_widget("scaction")
-			if not os.access("/usr/bin/gnome-screensaver", os.X_OK):
-				widget.set_sensitive(False)
 		for entry in map.keys():
 			widget = xml.get_widget(entry)
 			if type(widget) == type(gtk.ComboBox()):