[mono/monodevelop] 1e6e9fad: Bug 4847 - Middle click on unfocused editor tab should close without focusing
| Newsgroups | gmane.comp.gnome.mono.patches |
|---|---|
| Message-ID | <0000014287da4fd8-380ce4ab-cc38-4584-88ca-ed06f1ededf6-000000@email.amazonses.com> |
Branch: refs/heads/bug4847
Home: https://github.com/mono/monodevelop
Compare: https://github.com/mono/monodevelop/commit/1e6e9fad9714
Commit: 1e6e9fad971482c54fd28ffa77cdbe01cac1cdf3
Author: Therzok <[email protected]> (Therzok)
Date: 2013-11-24 02:03:39 GMT
URL: https://github.com/mono/monodevelop/commit/1e6e9fad971482c54fd28ffa77cdbe01cac1cdf3
Bug 4847 - Middle click on unfocused editor tab should close without focusing
Changed paths:
M main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DockNotebook.cs
Modified: main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DockNotebook.cs
===================================================================
@@ -728,6 +728,7 @@ protected override bool OnButtonPressEvent (EventButton evnt)
return true;
}
if (evnt.Button == 2) {
+ overCloseOnPress = true;
notebook.OnCloseTab (t);
return true;
}
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches