Получение и настройка параметров разделенного окна для разработки плагина IntelliJ IDEA - программирование
Подтвердить что ты не робот

Получение и настройка параметров разделенного окна для разработки плагина IntelliJ IDEA

Я пишу плагин IntelliJ IDEA для сохранения сессий открытых вкладок, называемых вкладка сеанса. Этот вопрос является продолжением IntelliJ IDEA Plugin Development: сохранение групп вкладок, сохранение их настойчиво и перезагрузка набора вкладок по запросу пользователя.

В настоящее время разделенные окна не поддерживаются. Поэтому я хочу сделать две вещи:

  • Получить информацию обо всех разделенных или несвязанных окнах, которые являются контейнерами для вкладок редактора. Мне нужно их положение и направление разделения (горизонтальное или вертикальное).
  • Когда эта информация сохраняется и нужно загружать сеанс табуляции, мне нужно восстановить разбитые панели и их вкладки точно так, как они были раньше.

Из-за отсутствия документации я в настоящее время просматривает исходный код и нашел этот многообещающий фрагмент кода:

private EditorsSplitters getSplittersFromFocus() {
  return FileEditorManagerEx.getInstanceEx(myProject).getSplitters();
}

Это позволяет мне проходить через набор разделенных окон, используя EditorWindow[] windows = getSplittersFromFocus.getOrderedWindows(). Они содержат вкладки редактора и информацию об их ширине и высоте. Но я не нашел никакой информации о направлении разделения и о том, как восстановить разбитые окна, как они были раньше.

Может ли кто-нибудь помочь?

4b9b3361

ОТВЕТЫ

Ответ 1

Это непроверенный код, но поскольку он тесно пересматривает процедуры внутри EditorsSplitters writeExternal и writePanel функции, я уверен, что это будет работать.

Представлены два метода:

  • выход доступа writeExternal → должен быть более стабильным API и обеспечивает более легкий доступ к информации о файле.
  • компоненты доступа сплиттера → таким образом writeExternal создает его информацию; к сожалению, есть хотя бы одно защищенное поле без участия геттера (window.myPanel внутри findWindowWith)
import com.intellij.openapi.actionSystem.AnAction;
import com.intellij.openapi.actionSystem.AnActionEvent;
import com.intellij.openapi.fileEditor.FileEditorManager;
import com.intellij.openapi.fileEditor.impl.EditorsSplitters;
import com.intellij.openapi.fileEditor.impl.FileEditorManagerImpl;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.ui.Splitter;
import org.jdom.Element;

import javax.swing.*;
import java.awt.*;
import java.util.ArrayList;

public class SplitterAction extends AnAction {

    public SplitterAction() {
        super("Splitter _Action");
    }

    private static class Info {

    }

    private static class SplitInfo extends Info {
        public Info    first;
        public Info    second;
        public boolean vertical;
        public float   proportions;
    }

    private static class FileInfo extends Info {
        public String[] fileNames;
    }

    @Override
    public void actionPerformed(AnActionEvent anActionEvent) {
        final Project project = anActionEvent.getProject();
        final FileEditorManagerImpl fileEditorManager = (FileEditorManagerImpl) FileEditorManager.getInstance(project);
        EditorsSplitters splitters = fileEditorManager.getSplitters();
        // com.intellij.openapi.fileEditor.impl.EditorsSplitters.writeExternal() and
        // com.intellij.openapi.fileEditor.impl.EditorsSplitters#writePanel inspired this
        final Component component = splitters.getComponent(0);
        final SplitInfo infos = splitterVisitor(component);

        // or you could use this
        Element root = new Element("root");
        splitters.writeExternal(root);

        elementVisitor(root);

        // to restore from writeExternal the following should suffice
        splitters.readExternal(root);
        splitters.openFiles();
    }

    /**
     * Reads writeExternal output
     */
    private Info elementVisitor(Element root) {
        final Element splitter = root.getChild("splitter");
        if (splitter != null) {
            // see com.intellij.openapi.fileEditor.impl.EditorsSplitters#writePanel
            final SplitInfo splitInfo = new SplitInfo();
            // "vertical" or "horizontal"
            splitInfo.vertical = "vertical".equals(splitter.getAttributeValue("split-orientation"));
            splitInfo.proportions = Float.parseFloat(splitter.getAttributeValue("split-proportion"));
            Element first = splitter.getChild("split-first");
            if (first != null) {
                splitInfo.first = elementVisitor(first);
            }
            Element second = splitter.getChild("split-second");
            if (second != null) {
                splitInfo.second = elementVisitor(second);
            }
            return splitInfo;
        }
        final Element leaf = root.getChild("leaf");
        if (leaf != null) {
            final ArrayList<String> fileNames = new ArrayList<String>();
            for (Element file : leaf.getChildren("file")) {
                final String fileName = file.getAttributeValue("leaf-file-name");
                fileNames.add(fileName);
                // further attributes see com.intellij.openapi.fileEditor.impl.EditorsSplitters#writeComposite
            }
            final FileInfo fileInfo = new FileInfo();
            fileInfo.fileNames = fileNames.toArray(new String[fileNames.size()]);
            return fileInfo;
        }
        return null;
    }

    /**
     * Acts directly upon Component
     */
    private SplitInfo splitterVisitor(Component component) {
        if (component instanceof JPanel && ((JPanel) component).getComponentCount() > 0) {
            final Component child = ((JPanel) component).getComponent(0);
            if (child instanceof Splitter) {
                final Splitter splitter = (Splitter) child;
                final SplitInfo splitInfos = new SplitInfo();
                splitInfos.vertical = splitter.isVertical();
                splitInfos.proportions = splitter.getProportion();
                splitInfos.first = splitterVisitor(splitter.getFirstComponent());
                splitInfos.second = splitterVisitor(splitter.getSecondComponent());
                return splitInfos;
            }
            // TODO: retrieve file information
        }
        return null;
    }
}