This should fix the Ctrl+w bug. Anyway, it really doesn't solve it: there is a corner...
authorAndrea Diamantini <adjam7@gmail.com>
Fri, 4 Jun 2010 00:38:35 +0000 (02:38 +0200)
committerAndrea Diamantini <adjam7@gmail.com>
Fri, 4 Jun 2010 00:38:35 +0000 (02:38 +0200)
commitd44c64e440e8d551d528eeafef97407c77cd420a
treedc1a6e0cb478a027dc8e3ceb2d156154436bb089
parent05f2145badc46a9a082878ebf0c02cdb1c7ece66
This should fix the Ctrl+w bug. Anyway, it really doesn't solve it: there is a corner case
where the trick implemented doesn't work. We'll see if someone can fix also that..

BUG:233937
src/mainview.cpp
src/mainview.h
src/mainwindow.cpp
src/tabbar.cpp