languagePanel.getLanguages()); model.setString(PREFERENCE_KEY_USER_STYLESHEET, userStylesheet.getText());
languagePanel.getLanguages()); model.setString(PREFERENCE_KEY_USER_STYLESHEET, userStylesheet.getText());
/** * Returns the user languages. */ public String getLanguages() { return panel.getLanguages(); }
/** * Returns the user languages. */ public String getLanguages() { return panel.getLanguages(); }