feedc0de/qt-creator
1
0
Fork 0
forked from qt-creator/qt-creator
Code Pull Requests Activity

Fix tab clipping problem with corner widgets

Browse Source 
The help mode ended up looking a bit broken due to removing
the leftmost pixel of tabbars. I simply disabled it when
corner widgets are present.
This commit is contained in:
Jens Bache-Wiig
2010-03-29 11:35:44 +02:00
parent 285e2ffbb2
commit b97d5c5c32
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/plugins/coreplugin/manhattanstyle.cpp
View File

@@ -628,8 +628,10 @@ void ManhattanStyle::drawControl(ControlElement element, const QStyleOption *opt
if (const QStyleOptionTabV3 *tab = qstyleoption_cast<const QStyleOptionTabV3 *>(option)) {
QStyleOptionTabV3 adjustedTab = *tab;
if (tab->position == QStyleOptionTab::Beginning
|| tab->position == QStyleOptionTab::OnlyOneTab) {
if (tab->cornerWidgets == QStyleOptionTab::NoCornerWidgets && (
tab->position == QStyleOptionTab::Beginning ||
tab->position == QStyleOptionTab::OnlyOneTab))
{
if (option->direction == Qt::LeftToRight)
adjustedTab.rect = adjustedTab.rect.adjusted(-1, 0, 0, 0);
else