org.intellij.coq.toolWindow.CoqConfigurationSettingsEditor.java Source code

Introduction

Here is the source code for org.intellij.coq.toolWindow.CoqConfigurationSettingsEditor.java

Source

/*
 * IntelliJ-coqplugin  / Plugin IntelliJ for Coq
 * Copyright (c) 2016
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

package org.intellij.coq.toolWindow;

import org.intellij.coq.run.CoqRunConfiguration;
import com.intellij.openapi.options.ConfigurationException;
import com.intellij.openapi.options.SettingsEditor;
import com.intellij.openapi.ui.ComponentWithBrowseButton;
import com.intellij.openapi.ui.LabeledComponent;
import com.intellij.openapi.ui.TextFieldWithBrowseButton;
import com.sun.istack.internal.NotNull;

import javax.swing.*;

/**
 * Created by dabrowski on 11/01/2016.
 */
public class CoqConfigurationSettingsEditor extends SettingsEditor<CoqRunConfiguration> {

    private JTextArea textArea1;
    private JPanel myPanel;

    private LabeledComponent<ComponentWithBrowseButton> myMainClass;

    @Override
    protected void resetEditorFrom(CoqRunConfiguration demoRunConfiguration) {

    }

    @Override
    protected void applyEditorTo(CoqRunConfiguration demoRunConfiguration) throws ConfigurationException {

    }

    @NotNull
    @Override
    protected JComponent createEditor() {
        return myPanel;
    }

    private void createUIComponents() {
        myMainClass = new LabeledComponent<ComponentWithBrowseButton>();
        myMainClass.setComponent(new TextFieldWithBrowseButton());
    }

}