检索并设置IntelliJ IDEA插件开发的拆分窗口设置 [英] Retrieving and setting split window settings for IntelliJ IDEA plugin development
问题描述
我正在编写一个IntelliJ IDEA插件,用于保存名为标签会话的打开标签的会话。这个问题是对的后续跟进IntelliJ IDEA插件开发:保存选项卡组,持久保存它们并在用户请求时重新加载一组选项卡。
I am writing an IntelliJ IDEA plugin for saving sessions of open tabs called Tab Session. This question is a follow-up of IntelliJ IDEA Plugin Development: Save groups of tabs, save them persistently and reload a set of tabs if requested by the user.
目前,分割窗口不是支持的。因此,我想做两件事:
Currently, splitted windows are not supported. Therefore i want to do two things:
- 检索有关编辑器选项卡容器的所有分割或未分割窗口的信息。我需要它们的位置和分割方向(水平或垂直)。
- 当保存此信息并且需要加载标签会话时,我需要完全重建分割的窗格及其标签他们在以前。
由于缺乏文件,我目前浏览源代码和找到了这段有用的代码:
Due to the lack of documentation i am currently browsing through the source code and found this promising piece of code:
private EditorsSplitters getSplittersFromFocus() {
return FileEditorManagerEx.getInstanceEx(myProject).getSplitters();
}
它允许我使用<$ c迭代一组分割窗口$ c> EditorWindow [] windows = getSplittersFromFocus.getOrderedWindows()。它们包含编辑器选项卡以及有关其宽度和高度的信息。但是我没有找到任何有关拆分方向的信息以及如何重建拆分窗口的信息。
It allows me to iterate through the set of splitted windows by using EditorWindow[] windows = getSplittersFromFocus.getOrderedWindows()
. They contain the editor tabs and information about their width and height. But i did not find any information about the split direction and how to reconstruct the splitted windows as they were before.
任何人都可以帮忙吗?
推荐答案
这是未经测试的代码,但因为它紧密地解决了 EditorsSplitters writeExternal
和 writePanel
函数我很肯定这会有效。
This is untested code, but as it closely resmbles the procedures inside EditorsSplitters writeExternal
and writePanel
functions I am positive this will work.
提出了两种方法:
- 访问输出
writeExternal
- >应该是更稳定的API并提供更轻松的文件访问权限信息 - 访问拆分器的组件 - >这样
writeExternal
创建它的信息;遗憾的是,至少有一个受保护的字段没有涉及getter(window.myPanel
infindWindowWith
)
- access output of
writeExternal
-> should be the more stable API and offers easier access to file information - access components of splitter -> this way
writeExternal
creates it's information; sadly there is at least one protected field without getter involved (window.myPanel
insidefindWindowWith
)
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;
}
}
这篇关于检索并设置IntelliJ IDEA插件开发的拆分窗口设置的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!