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()
|
||||
}
|
||||
windowControlIcons.forEach { $0.window_ = element }
|
||||
showOrHideWindowControls(false)
|
||||
showOrHideWindowControls(isShowingWindowControls)
|
||||
mouseUpCallback = { () -> Void in App.app.focusSelectedWindow(element) }
|
||||
mouseMovedCallback = { () -> Void in Windows.updateFocusedAndHoveredWindowIndex(index, true) }
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user