From 4cecc9b3824f132d288ee06c2d87d521e8b26eb2 Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Wed, 12 Feb 2014 11:10:43 +0100 Subject: [PATCH] State view: The filter button is now initially activated --- de.prob.ui/plugin.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index 7ddccf87..847cb80e 100644 --- a/de.prob.ui/plugin.xml +++ b/de.prob.ui/plugin.xml @@ -280,7 +280,7 @@ <command id="de.prob.ui.stateview.toggleShowDuplicates" name="Toggle Show Duplicates"> - <state class="org.eclipse.jface.commands.ToggleState" + <state class="org.eclipse.ui.handlers.RegistryToggleState:true" id="de.prob.ui.stateview.duplicateFilterState" /> </command> <command -- GitLab