mono/monodevelop — pull request #440 by Therzok (2013-11-24 02:04:08+00:00)
Title: Bug 4847 - Middle click on unfocused editor tab should close without foc...

...using