static void updatePreferences()
{
StringBuilder coloursFound = new StringBuilder();
- String[] files = Cache.getProperty("USER_DEFINED_COLOURS").split("\\|");
+ String[] files = Cache.getProperty(Preferences.USER_DEFINED_COLOURS).split("\\|");
/*
* the property does not include the scheme name, it is in the file;
if (coloursFound.toString().length() > 1)
{
- Cache.setProperty("USER_DEFINED_COLOURS", coloursFound.toString());
+ Cache.setProperty(Preferences.USER_DEFINED_COLOURS, coloursFound.toString());
}
else
{
- Cache.removePropertyNoSave("USER_DEFINED_COLOURS");
+ Cache.removePropertyNoSave(Preferences.USER_DEFINED_COLOURS);
}
}
}