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()):