@theia/core/lib/browser/widgets/tab-bar-tracker.js

Theia is a cloud & desktop IDE framework implemented in TypeScript.

"use strict";
// *****************************************************************************
// Copyright (C) 2026 JuliaHub, Inc. and others.
//
// This program and the accompanying materials are made available under the
// terms of the Eclipse Public License v. 2.0 which is available at
// http://www.eclipse.org/legal/epl-2.0.
//
// This Source Code may also be made available under the following Secondary
// Licenses when the conditions for such availability set forth in the Eclipse
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
// with the GNU Classpath Exception which is available at
// https://www.gnu.org/software/classpath/license.html.
//
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
// *****************************************************************************
Object.defineProperty(exports, "__esModule", { value: true });
exports.TabBarTracker = void 0;
const algorithm_1 = require("@lumino/algorithm");
const widgets_1 = require("@lumino/widgets");
const common_1 = require("../../common");
/**
 * Detects when a widget is moved between the tab-bars of its enclosing {@link DockPanel} and
 * notifies a callback with the previous and current tab-bar. Call {@link check} from the host
 * widget's `onAfterAttach`.
 */
class TabBarTracker {
    constructor(widget, onTabBarChange) {
        this.widget = widget;
        this.onTabBarChange = onTabBarChange;
        this.isDisposed = false;
        this.toDisposeOnTabBarChange = new common_1.DisposableCollection();
    }
    check() {
        if (this.isDisposed) {
            return;
        }
        const parent = this.widget.parent;
        if (parent instanceof widgets_1.DockPanel) {
            const newTabBar = (0, algorithm_1.find)(parent.tabBars(), tabBar => !!tabBar.titles.find(title => title === this.widget.title));
            if (this.currentTabBar !== newTabBar) {
                this.toDisposeOnTabBarChange.dispose();
                const listener = () => this.check();
                parent.layoutModified.connect(listener);
                this.toDisposeOnTabBarChange.push(common_1.Disposable.create(() => parent.layoutModified.disconnect(listener)));
                const last = this.currentTabBar;
                this.currentTabBar = newTabBar;
                this.onTabBarChange(last, newTabBar);
            }
        }
    }
    /**
     * Forgets the current tab-bar so that the next {@link check} reports it again as
     * `(undefined, currentTabBar)`. Listeners on the enclosing panel stay connected.
     */
    reset() {
        this.currentTabBar = undefined;
    }
    dispose() {
        this.isDisposed = true;
        this.toDisposeOnTabBarChange.dispose();
    }
}
exports.TabBarTracker = TabBarTracker;
//# sourceMappingURL=tab-bar-tracker.js.map