* Starts the theme editor on the specified theme.
* @param theme to edit.
*/
private void editTheme(Theme theme) {
// If the edited theme was modified, we must re-populate the list.
if(new ThemeEditorDialog(parent, theme).editTheme())
populateThemes(ThemeManager.getCurrentTheme());
}