Revision 43067 trunk/org.gvsig.desktop/org.gvsig.desktop.framework/org.gvsig.andami/src/main/java/org/gvsig/andami/Launcher.java
| Launcher.java | ||
|---|---|---|
| 3195 | 3195 |
PluginsManager pluginsManager = PluginsLocator.getManager(); |
| 3196 | 3196 |
IconThemeManager iconManager = ToolsSwingLocator.getIconThemeManager(); |
| 3197 | 3197 |
|
| 3198 |
File f = new File(pluginsManager.getApplicationFolder(), "icon-theme"); |
|
| 3198 |
File f = new File(pluginsManager.getApplicationHomeFolder(), "icon-theme");
|
|
| 3199 | 3199 |
if (!f.exists()) {
|
| 3200 | 3200 |
try {
|
| 3201 | 3201 |
f.mkdir(); |
| ... | ... | |
| 3203 | 3203 |
// Do nothing |
| 3204 | 3204 |
} |
| 3205 | 3205 |
} |
| 3206 |
iconManager.getRepository().add(f, "_Global");
|
|
| 3206 |
iconManager.getRepository().add(f, "_User");
|
|
| 3207 | 3207 |
|
| 3208 |
f = new File(pluginsManager.getApplicationHomeFolder(), "icon-theme");
|
|
| 3208 |
f = new File(pluginsManager.getApplicationFolder(), "icon-theme"); |
|
| 3209 | 3209 |
if (!f.exists()) {
|
| 3210 | 3210 |
try {
|
| 3211 | 3211 |
f.mkdir(); |
| ... | ... | |
| 3213 | 3213 |
// Do nothing |
| 3214 | 3214 |
} |
| 3215 | 3215 |
} |
| 3216 |
iconManager.getRepository().add(f, "_User");
|
|
| 3216 |
iconManager.getRepository().add(f, "_Global");
|
|
| 3217 | 3217 |
|
| 3218 | 3218 |
Preferences prefs = Preferences.userRoot().node("gvsig.icontheme");
|
| 3219 | 3219 |
String defaultThemeID = prefs.get("default-theme", null);
|
Also available in: Unified diff