fix: colored circles would go away on ui refresh (closes #4151)
This commit is contained in:
1 parent
cfd59d31a1
commit
dcea005d8d
1 file changed
+1
-1
@@ -368,7 +368,7 @@ class ThumbnailView: FlippedView {
|
|||||||
windowlessIcon.image = element.icon?.copyToSeparateContexts()
|
windowlessIcon.image = element.icon?.copyToSeparateContexts()
|
||||||
}
|
}
|
||||||
windowControlIcons.forEach { $0.window_ = element }
|
windowControlIcons.forEach { $0.window_ = element }
|
||||||
showOrHideWindowControls(false)
|
showOrHideWindowControls(isShowingWindowControls)
|
||||||
mouseUpCallback = { () -> Void in App.app.focusSelectedWindow(element) }
|
mouseUpCallback = { () -> Void in App.app.focusSelectedWindow(element) }
|
||||||
mouseMovedCallback = { () -> Void in Windows.updateFocusedAndHoveredWindowIndex(index, true) }
|
mouseMovedCallback = { () -> Void in Windows.updateFocusedAndHoveredWindowIndex(index, true) }
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in new issue
Block a user