commit | 9d90f613aaca5d508d145bf7159f9ce4d6ce73e7 | [log] [tgz] |
---|---|---|
author | alfonsodelavega <alfonso.delavega@tuta.io> | Thu May 27 20:44:31 2021 +0100 |
committer | alfonsodelavega <alfonso.delavega@tuta.io> | Thu May 27 20:44:31 2021 +0100 |
tree | ffd8caf091388d8037d1c865c71f11aaf91a4fbc | |
parent | a90d72ceba6e9fb37619659fcbc03fd2b92f7d84 [diff] |
Remove warning in PictoView
diff --git a/plugins/org.eclipse.epsilon.picto/src/org/eclipse/epsilon/picto/PictoView.java b/plugins/org.eclipse.epsilon.picto/src/org/eclipse/epsilon/picto/PictoView.java index 7536add..32176e0 100644 --- a/plugins/org.eclipse.epsilon.picto/src/org/eclipse/epsilon/picto/PictoView.java +++ b/plugins/org.eclipse.epsilon.picto/src/org/eclipse/epsilon/picto/PictoView.java
@@ -528,7 +528,7 @@ class ToggleVerbatimSourcesAction extends Action { public ToggleVerbatimSourcesAction() { - super("Render verbatim sources", Action.AS_CHECK_BOX); + super("Render verbatim sources", AS_CHECK_BOX); renderVerbatimSources = EpsilonCommonsPlugin.getDefault().getPreferenceStore().getBoolean(PictoPreferencePage.PROPERTY_RENDER_VERBATIM); setChecked(renderVerbatimSources); }