Index: ActionHandler.java
===================================================================
RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/commands/ActionHandler.java,v
retrieving revision 1.8
diff -u -r1.8 ActionHandler.java
--- ActionHandler.java	12 Sep 2003 17:48:32 -0000	1.8
+++ ActionHandler.java	18 Sep 2003 20:34:53 -0000
@@ -35,12 +35,11 @@
 	}
 
 	public void execute(Event event) {
-		/* A more sophisticated approach might be to test for the action style
-		 * before attempting to update, but this doesn't seem to give any
-		 * benefit.  See ActionContributionItem.handleWidgetSelection.
-		 */
-		action.setChecked(!action.isChecked());
-		
+		if ((action.getStyle() == org.eclipse.jface.action.IAction.AS_CHECK_BOX)
+			|| (action.getStyle() == org.eclipse.jface.action.IAction.AS_RADIO_BUTTON)) {
+			action.setChecked(!action.isChecked());
+		}
+
 		action.runWithEvent(event);
 	}