MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix: terminal tab doesn't save name change after DnD.

Browse Source
This commit is contained in:
Dmitry Trofimov
2013-11-10 22:51:38 +01:00
parent 495bda482e
commit c14702745f
2 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTabbedTerminalWidget.java
+3 -2
View File
@@ -194,8 +194,9 @@ public class JBTabbedTerminalWidget extends TabbedTerminalWidget {
}
private TabInfo createTabInfo(String name, JediTermWidget terminal) {
return new TabInfo(terminal).setText(name).setDragOutDelegate(myDragDelegate)
.setObject(new TerminalSessionVirtualFileImpl(name, terminal, mySettingsProvider));
TabInfo tabInfo = new TabInfo(terminal).setText(name).setDragOutDelegate(myDragDelegate);
return tabInfo
.setObject(new TerminalSessionVirtualFileImpl(tabInfo, terminal, mySettingsProvider));
}
public String getTitleAt(int i) {
plugins/terminal/src/org/jetbrains/plugins/terminal/vfs/TerminalSessionVirtualFileImpl.java
+8 -5
View File
@@ -20,6 +20,7 @@
package org.jetbrains.plugins.terminal.vfs;
import com.intellij.testFramework.LightVirtualFile;
import com.intellij.ui.tabs.TabInfo;
import com.jediterm.terminal.ui.JediTermWidget;
import com.jediterm.terminal.ui.settings.TabbedSettingsProvider;
import org.jetbrains.annotations.NotNull;
@@ -31,10 +32,12 @@ public class TerminalSessionVirtualFileImpl extends LightVirtualFile {
private final JediTermWidget myTerminal;
private TabbedSettingsProvider mySettingsProvider;
private final String myName;
public TerminalSessionVirtualFileImpl(String name, JediTermWidget terminal, TabbedSettingsProvider settingsProvider) {
myName = name;
private final TabInfo myTabInfo;
public TerminalSessionVirtualFileImpl(@NotNull TabInfo tabInfo,
@NotNull JediTermWidget terminal,
@NotNull TabbedSettingsProvider settingsProvider) {
myTabInfo = tabInfo;
myTerminal = terminal;
mySettingsProvider = settingsProvider;
setFileType(TerminalSessionFileType.INSTANCE);
@@ -47,7 +50,7 @@ public class TerminalSessionVirtualFileImpl extends LightVirtualFile {
@NotNull
public String getName() {
return myName;
return myTabInfo.getText();
}
public TabbedSettingsProvider getSettingsProvider() {