Searched refs:SOURCE_REVEALER_EXTENSION_ID (Results 1 – 1 of 1) sorted by relevance
26 private static final String SOURCE_REVEALER_EXTENSION_ID = field in JavaSourceRevealer34 DdmsPlugin.getDefault().findConfigElements(SOURCE_REVEALER_EXTENSION_ID); in instantiateSourceRevealers()