Home
last modified time | relevance | path

Searched defs:WORLD_CHANGED (Results 1 – 2 of 2) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/ui/org.eclipse.pde.core/src/org/eclipse/pde/core/
H A DIModelChangedEvent.java38 int WORLD_CHANGED = 99; field
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/base/
H A DBookmarkManager.java49 public static final int WORLD_CHANGED = 5; field in BookmarkManager