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

Close terminal tabs with middle click (IDEA-112321).

Browse Source
This commit is contained in:
Dmitry Trofimov
2014-03-05 22:09:35 +01:00
parent 6ee5d4f674
commit 1fd57b4f56
1 changed files with 24 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTabbedTerminalWidget.java
+24 -12
View File
@@ -36,7 +36,7 @@ import java.util.concurrent.CopyOnWriteArraySet;
/**
* @author traff
*/
public class JBTabbedTerminalWidget extends TabbedTerminalWidget implements Disposable{
public class JBTabbedTerminalWidget extends TabbedTerminalWidget implements Disposable {
private Project myProject;
private final JBTerminalSystemSettingsProvider mySettingsProvider;
@@ -220,7 +220,7 @@ public class JBTabbedTerminalWidget extends TabbedTerminalWidget implements Disp
}
private class TerminalTabLabel extends TabLabel {
public TerminalTabLabel(final JBTabsImpl tabs, TabInfo info) {
public TerminalTabLabel(final JBTabsImpl tabs, final TabInfo info) {
super(tabs, info);
setOpaque(false);
@@ -244,20 +244,32 @@ public class JBTabbedTerminalWidget extends TabbedTerminalWidget implements Disp
handleMouse(event);
}
private void handleMouse(MouseEvent event) {
if (event.isPopupTrigger()) {
private void handleMouse(MouseEvent e) {
if (e.isPopupTrigger()) {
JPopupMenu menu = createPopup();
menu.show(event.getComponent(), event.getX(), event.getY());
menu.show(e.getComponent(), e.getX(), e.getY());
}
else {
else if (e.getButton() != MouseEvent.BUTTON2) {
myTabs.select(getInfo(), true);
if (event.getClickCount() == 2 && !event.isConsumed()) {
event.consume();
if (e.getClickCount() == 2 && !e.isConsumed()) {
e.consume();
renameTab();
}
}
}
@Override
public void mouseClicked(MouseEvent e) {
if (e.getButton() == MouseEvent.BUTTON2) {
if (myTabs.getSelectedInfo() == info) {
closeCurrentSession();
}
else {
myTabs.select(info, true);
}
}
}
});
}
@@ -354,14 +366,14 @@ public class JBTabbedTerminalWidget extends TabbedTerminalWidget implements Disp
@Override
public void dragOutFinished(MouseEvent event, TabInfo source) {
myFile.putUserData(FileEditorManagerImpl.CLOSING_TO_REOPEN, Boolean.TRUE);
myTabs.removeTab(source);
mySession.process(event);
myFile.putUserData(FileEditorManagerImpl.CLOSING_TO_REOPEN, null);
myFile = null;
mySession = null;