fixes for title tooltips

--disable direct rendering when a title tooltip
becomes hidden and the mouse isnt in the dock.
This fixes an issue when the user enters the dock
and the parabolic animation wasnt playing correctly in
some cases
--do not show a title tooltip if the dock !containsMouse.
This way some tooltips that were still shown when the
mouse wasnt inside the dock is fixed.
pull/2/head
Michail Vourlakos 7 years ago
parent 88108ac524
commit f5175b6135

@ -1270,7 +1270,9 @@ DragDrop.DropArea {
id: showTitleTooltipTimer
interval: 100
onTriggered: {
titleTooltipDialog.update();
if (dock && dock.visibility && dock.visibility.containsMouse) {
titleTooltipDialog.update();
}
if (root.debugModeTimers) {
console.log("containment timer: showTitleTooltipTimer called...");
@ -1284,6 +1286,10 @@ DragDrop.DropArea {
onTriggered: {
if (!titleTooltipDialog.activeItemHovered) {
titleTooltipDialog.visible = false;
if (dock && dock.visibility && !dock.visibility.containsMouse) {
enableDirectRenderTimer.stop();
setGlobalDirectRender(false);
}
}
if (root.debugModeTimers) {

Loading…
Cancel
Save