Fix hover widget not redrawing when hovered
#2018
| Job | Run time |
|---|---|
| 2m 17s | |
| 32s | |
| 2m 49s |
hover widget not redrawing when hovered
#2018
| Job | Run time |
|---|---|
| 2m 17s | |
| 32s | |
| 2m 49s |