Searched defs:desktopProperties (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/java/awt/
H A DToolkit.java1785 if (desktopProperties.isEmpty()) {
1797 value = desktopProperties.get(propertyName);
1832 oldValue = desktopProperties.get(name);
1833 desktopProperties.put(name, newValue);
1924 protected final Map<String,Object> desktopProperties = field in class:Toolkit

Completed in 36 milliseconds