Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. [509735] Remove ActivityExplorerPage.isVisible override (details)
Commit bdc95fe4578987e73e25f5bf958557a924e2b831 by Pierre-Charles David
[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>
The file was modified plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java