lang-impl/src/com/intellij/application/options/editor/EditorOptions.java

   1 package com.intellij.application.options.editor;
   2
   3 import com.intellij.openapi.application.ApplicationBundle;
   4 import com.intellij.openapi.extensions.Extensions;
   5 import com.intellij.openapi.options.Configurable;
   6 import com.intellij.openapi.options.ConfigurationException;
   7 import com.intellij.openapi.options.SearchableConfigurable;
   8 import com.intellij.openapi.util.IconLoader;
   9
  10 import javax.swing.*;
  11
  12 public class EditorOptions implements SearchableConfigurable.Parent {
  13   private EditorOptionsPanel myEditorOptionsPanel;
  14
  15   public Configurable[] getConfigurables() {
  16     return Extensions.getExtensions(EditorOptionsProvider.EP_NAME);
  17   }
  18
  19   public String getDisplayName() {
  20     return ApplicationBundle.message("title.editor");
  21   }
  22
  23   public Icon getIcon() {
  24     return IconLoader.getIcon("/general/configurableEditor.png");
  25   }
  26
  27   public String getHelpTopic() {
  28     return "preferences.editor";
  29   }
  30
  31   public String getId() {
  32     return getHelpTopic();
  33   }
  34
  35   public Runnable enableSearch(final String option) {
  36     return null;
  37   }
  38
  39   public boolean hasOwnContent() {
  40     return true;
  41   }
  42
  43   public boolean isVisible() {
  44     return true;
  45   }
  46
  47   public JComponent createComponent() {
  48     myEditorOptionsPanel = new EditorOptionsPanel();
  49     return myEditorOptionsPanel.getComponent();
  50   }
  51
  52   public boolean isModified() {
  53     return myEditorOptionsPanel != null && myEditorOptionsPanel.isModified();
  54   }
  55
  56   public void apply() throws ConfigurationException {
  57     if (myEditorOptionsPanel != null) {
  58       myEditorOptionsPanel.apply();
  59     }
  60   }
  61
  62   public void reset() {
  63     if (myEditorOptionsPanel != null) {
  64       myEditorOptionsPanel.reset();
  65     }
  66   }
  67
  68   public void disposeUIResources() {
  69     myEditorOptionsPanel = null;
  70
  71   }
  72 }