arduino-ide/arduino-ide-extension/src/browser/customization/custom-application-shell.ts

import { ApplicationShell } from "@theia/core/lib/browser";

export class CustomApplicationShell extends ApplicationShell {
    protected refreshBottomPanelToggleButton() {
        
    }
}