Searched refs:EXT_PREFERENCE_SERVER (Results 1 – 2 of 2) sorted by relevance
113 …public static final String EXT_PREFERENCE_SERVER = PREFIX + "ext_preference_server_context"; //$NO… field
197 …latformUI.getWorkbench().getHelpSystem().setHelp(cvsServer, IHelpContextIds.EXT_PREFERENCE_SERVER); in createExternalArea()