-
Robert Knight authoredThe `store.clearSelection()` call currently clears the selection and also all other filters, which means that switching tabs changed several things in the UI beyond just the current tab. Change this so it just changes the tab.
c52e06d3
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| annotator | ||
| boot | ||
| images/icons | ||
| shared | ||
| sidebar | ||
| styles | ||
| test-util | ||
| types | ||
| karma.config.js | ||
| tsconfig.json |