fix visual glitch when hiding toolbar
This commit is contained in:
parent
61cafd3215
commit
7bffae49d1
@ -70,14 +70,16 @@ Item {
|
|||||||
|
|
||||||
onToolsChanged: {
|
onToolsChanged: {
|
||||||
//print("tools changed:" + typeof(tools) + " " + tools.id);
|
//print("tools changed:" + typeof(tools) + " " + tools.id);
|
||||||
var shown;
|
//var shown;
|
||||||
// FIXME: Horrible hack, improve heuristics here.
|
// FIXME: Horrible hack, improve heuristics here.
|
||||||
if (tools.childrenRect.width > 20) {
|
if (tools.childrenRect.width > 20) {
|
||||||
shown = true;
|
//shown = true;
|
||||||
|
height = 48;
|
||||||
} else {
|
} else {
|
||||||
shown = false;
|
//shown = false;
|
||||||
|
height = 0;
|
||||||
|
|
||||||
}
|
}
|
||||||
visible = shown;
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user