mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-02 18:39:05 +01:00
Refuse setActiveTab if tab is already set (#1405)
This commit is contained in:
parent
3c69237d9b
commit
0fe05a725a
@ -292,6 +292,9 @@ export class WaveBrowserWindow extends BaseWindow {
|
|||||||
|
|
||||||
async setActiveTab(tabId: string, setInBackend: boolean) {
|
async setActiveTab(tabId: string, setInBackend: boolean) {
|
||||||
console.log("setActiveTab", tabId, this.waveWindowId, this.workspaceId, setInBackend);
|
console.log("setActiveTab", tabId, this.waveWindowId, this.workspaceId, setInBackend);
|
||||||
|
if (this.activeTabView?.waveTabId == tabId) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
if (setInBackend) {
|
if (setInBackend) {
|
||||||
await WorkspaceService.SetActiveTab(this.workspaceId, tabId);
|
await WorkspaceService.SetActiveTab(this.workspaceId, tabId);
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user