Package com.intellij.openapi.options.newEditor

Examples of com.intellij.openapi.options.newEditor.OptionsEditor.select()

54
55
56
57
58
59
60
61
62
63
64
      @Override
      public void actionPerformed(ActionEvent e) {
        OptionsEditor optionsEditor = OptionsEditor.KEY.getData(DataManager.getInstance().getDataContext(myConfigureRebarButton));
        assert optionsEditor != null;
        SearchableConfigurable erlangExternalToolsConfigurable = optionsEditor.findConfigurableById(ErlangExternalToolsConfigurable.ERLANG_RELATED_TOOLS);
        optionsEditor.select(erlangExternalToolsConfigurable);
      }
    });
    myRootPanel.addAncestorListener(new AncestorAdapter() {
      @Override
      public void ancestorAdded(AncestorEvent event) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.