(tab: SettingsTab)
| 724 | }, |
| 725 | |
| 726 | openSettingsTab(tab: SettingsTab) { |
| 727 | const prev = get().view; |
| 728 | set({ |
| 729 | view: 'settings', |
| 730 | previousView: prev === 'settings' ? get().previousView : prev, |
| 731 | settingsTab: tab, |
| 732 | interactionMode: 'default', |
| 733 | selectedElement: null, |
| 734 | commentBubble: null, |
| 735 | }); |
| 736 | }, |
| 737 | |
| 738 | clearSettingsTab() { |
| 739 | set({ settingsTab: null }); |