#4056: [app_server] switching workspaces doesn't properly redraw selection
----------------------------------+----------------------------
Reporter: diver | Owner: axeld
Type: bug | Status: closed
Priority: normal | Milestone: R1
Component: Servers/app_server | Version: R1/Development
Resolution: fixed | Keywords:
Blocked By: | Blocking:
Has a Patch: 0 | Platform: All
----------------------------------+----------------------------
Changes (by diver):
* status: new => closed
* resolution: => fixed
Comment:
Can't reproduce anymore.
--
Ticket URL: <https://dev.haiku-os.org/ticket/4056#comment:4>
Haiku <https://dev.haiku-os.org>
Haiku - the operating system.
