public GTheme load() {
		String themeId = Preferences.getProperty(THEME_PREFFERENCE_KEY, "Default", true);
		if (themeId.startsWith(GTheme.FILE_PREFIX)) {
			String filename = themeId.substring(GTheme.FILE_PREFIX.length());
			try {
				return new ThemeReader(new File(filename)).readTheme();
			}
			catch (IOException e) {
				Msg.showError(GTheme.class, null, "Can't Load Previous Theme",
					"Error loading theme file: " + filename, e);
			}
		}
		else if (themeId.startsWith(DiscoverableGTheme.CLASS_PREFIX)) {
			String className = themeId.substring(DiscoverableGTheme.CLASS_PREFIX.length());
			try {
				Class<?> forName = Class.forName(className);
				return (GTheme) forName.getDeclaredConstructor().newInstance();
			}
			catch (Exception e) {
				Msg.showError(GTheme.class, null, "Can't Load Previous Theme",
					"Can't find or instantiate class: " + className, e);
			}
		}
		return ThemeManager.getDefaultTheme();
	}
Returns the theme that was stored in preferences or the default theme if none stored.
@return the last theme used (stored in preferences) or the default theme if not stored
in preferences
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemePreferences.java