fix: colored circles would go away on ui refresh (closes #4151)

This commit is contained in:
lwouis committed 2025-01-22 12:05:52 +01:00
1 parent cfd59d31a1
commit dcea005d8d
1 file changed
+1 -1
+1 -1
View File
@@ -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) }
}