Improve clipping in App
This commit is contained in:
parent
69fc1ee82e
commit
744fe720d2
@ -96,7 +96,7 @@ Item {
|
|||||||
|
|
||||||
onToolsChanged: {
|
onToolsChanged: {
|
||||||
// FIXME: questionable heuristics
|
// FIXME: questionable heuristics
|
||||||
height = (tools.childrenRect.width > 20) ? tools.childrenRect.height + space : 0
|
height = (tools && tools.childrenRect.width > 20) ? tools.childrenRect.height + space : 0
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -124,6 +124,7 @@ Item {
|
|||||||
clip: true
|
clip: true
|
||||||
width: navigationWidth + space
|
width: navigationWidth + space
|
||||||
Item {
|
Item {
|
||||||
|
clip: true
|
||||||
id: navigationItem
|
id: navigationItem
|
||||||
anchors.fill: parent
|
anchors.fill: parent
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user