private synchronized void saveDisabledSourceRoots () { sourcesProperties.getProperties("source_roots"). setCollection("remote_disabled", disabledSourceRoots); }
private synchronized void saveAdditionalSourceRoots () { sourcesProperties.getProperties("additional_source_roots"). setCollection("src_roots", additionalSourceRoots); }
private synchronized void saveDisabledSourceRoots () { sourcesProperties.getProperties("source_roots"). setCollection("remote_disabled", disabledSourceRoots); }
private synchronized void saveAdditionalSourceRoots () { sourcesProperties.getProperties("additional_source_roots"). setCollection("src_roots", additionalSourceRoots); }
private void storeAdditionalSourceRoots() { Properties sourcesProperties = Properties.getDefault ().getProperties ("debugger").getProperties ("sources"); if (baseDir != null) { String projectRoot; try { projectRoot = Utilities.toURI(baseDir).toURL().toExternalForm(); } catch (MalformedURLException ex) { Exceptions.printStackTrace(ex); return ; } Map map = sourcesProperties.getProperties("additional_source_roots"). getMap("project", new HashMap()); if (additionalSourceRoots != null) { map.put(projectRoot, new ArrayList<String>(additionalSourceRoots)); } else { map.remove(projectRoot); } sourcesProperties.getProperties("additional_source_roots"). setMap("project", map); } else { if (additionalSourceRoots != null) { sourcesProperties.getProperties("additional_source_roots"). setCollection("src_roots", new ArrayList<String>(additionalSourceRoots)); } else { sourcesProperties.getProperties("additional_source_roots"). setCollection("src_roots", null); } } }
private void storeDisabledSourceRoots(Set<String> disabledSourceRoots) { Properties sourcesProperties = Properties.getDefault ().getProperties ("debugger").getProperties ("sources"); if (baseDir != null) { String projectRoot; try { projectRoot = Utilities.toURI(baseDir).toURL().toExternalForm(); } catch (MalformedURLException ex) { Exceptions.printStackTrace(ex); return ; } Map map = sourcesProperties.getProperties("source_roots"). getMap("project_disabled", new HashMap()); map.put(projectRoot, disabledSourceRoots); sourcesProperties.getProperties("source_roots"). setMap("project_disabled", map); } else { sourcesProperties.getProperties("source_roots"). setCollection("remote_disabled", disabledSourceRoots); } }