Example #1
0
 /** Update the GUI. */
 public void updateGUI() {
   defaultsPanel.updateGUI();
   euclidianPanel.updateGUI();
   spreadsheetPanel.updateGUI();
   casPanel.updateGUI();
   advancedPanel.updateGUI();
 }
Example #2
0
  /** Update the labels of the components (e.g. if the language changed). */
  public void setLabels() {
    setTitle(app.getMenu("Settings"));

    closeButton.setText(app.getMenu("Close"));
    saveButton.setText(app.getMenu("Settings.Save"));

    tabbedPane.setTitleAt(TAB_DEFAULTS, app.getPlain("Defaults"));
    tabbedPane.setTitleAt(TAB_EUCLIDIAN, app.getPlain("DrawingPad"));
    tabbedPane.setTitleAt(TAB_SPREADSHEET, app.getPlain("Spreadsheet"));
    tabbedPane.setTitleAt(TAB_CAS, app.getMenu("CAS"));
    tabbedPane.setTitleAt(TAB_ADVANCED, app.getMenu("Advanced"));

    euclidianPanel.setLabels();
    defaultsPanel.setLabels();
    spreadsheetPanel.setLabels();
    casPanel.setLabels();
    advancedPanel.setLabels();
  }
Example #3
0
 /**
  * Select the tab which shows the euclidian view settings.
  *
  * @param index Index of the tab to hide, use the constants defined in this class for that
  */
 public void showTab(int index) {
   if (index == TAB_EUCLIDIAN) {
     euclidianPanel.setView(app.getGuiManager().getActiveEuclidianView());
   }
   tabbedPane.setSelectedIndex(index);
 }