static void importTheme(ThemeManager themeManager, File themeFile) {
		if (!askToSaveThemeChanges(themeManager)) {
			return;
		}
		GTheme startingTheme = themeManager.getActiveTheme();
		try {
			//
			// By setting the theme, we can let the normal save handle all the edge cases,
			// such as if a theme with that names exists and if so, should it be overwritten?
			// Also, the imported theme may contain default values which we don't want to save. So
			// by going through the usual save mechanism, only values that differ from defaults
			// be saved.
			//
			GTheme imported = GTheme.loadTheme(themeFile);
			themeManager.setTheme(imported);
			if (!saveThemeChanges(themeManager)) {
				themeManager.setTheme(startingTheme);
			}
		}
		catch (IOException e) {
			Msg.showError(ThemeUtils.class, null, "Error Importing Theme File",
				"Error encountered importing file: " + themeFile.getAbsolutePath(), e);
		}

	}
Imports a theme. Handles the case where there are existing changes to the current theme.
@param themeManager the application ThemeManager
Ghidra/Framework/Docking/src/main/java/docking/theme/gui/ThemeUtils.java