diff options
| author | Pierre-Charles David | 2017-02-20 13:44:19 +0000 |
|---|---|---|
| committer | Joao Barata | 2017-03-28 12:28:49 +0000 |
| commit | c1868beffc32d6b36098cf35c74cee5ed954323b (patch) | |
| tree | 64752d9e950d3172ff9c34e0e8babe2febbe6835 | |
| parent | 78943fcfaf24b5ee7514cdaadbf0f88578c320c9 (diff) | |
| download | org.eclipse.amalgam-c1868beffc32d6b36098cf35c74cee5ed954323b.tar.gz org.eclipse.amalgam-c1868beffc32d6b36098cf35c74cee5ed954323b.tar.xz org.eclipse.amalgam-c1868beffc32d6b36098cf35c74cee5ed954323b.zip | |
[509735] Remove ActivityExplorerPage.isVisible override
The override is not needed, the code is exactly the same as the one
from the superclass.
Bug: 509735
Change-Id: I9ffd0d05efcafb48c48f01c08647996fad2e3450
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
| -rw-r--r-- | plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java b/plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java index 27965ebc..9e7f5fcb 100644 --- a/plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java +++ b/plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2006, 2015 THALES GLOBAL SERVICES. + * Copyright (c) 2006, 2017 THALES GLOBAL SERVICES. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -527,18 +527,6 @@ public class ActivityExplorerPage extends CommonActivityExplorerPage implements } /** - * Return true this page is visible. - */ - @Override - public boolean isVisible() { - boolean result = ActivityExplorerActivator.getDefault().getPreferenceStore().getBoolean(getId()); - if (predicate != null) { - result &= predicate.isOk(); - } - return result; - } - - /** * Get the applied Predicate. * @return {@link IPredicate} */ |