diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index 7ddccf874a5df5730f1b613cd03f5e4f95c0c005..847cb80e140890db88aa9da3cf28b58a41c30b16 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