Tabs.remove_tab does not update the highlighting
#1460
| Job | Run time |
|---|---|
| 10s | |
| 10s |
Tabs.remove_tab does not update the highlighting
#1460
| Job | Run time |
|---|---|
| 10s | |
| 10s |