接口 BuiltInUIManager

interface BuiltInUIManager {
    activateTutorial(): void;
    navigateToDocumentation(): void;
    navigateToFeedback(): void;
    navigateToPauseScreen(): void;
    navigateToSamples(): void;
    saveAndExit(): void;
    showKeyboardSettings(): void;
    showUpdateInformation(): void;
    updateControlHelpPanelVisibility(visibility: boolean): void;
    updateLogPanelVisibility(visibility: boolean): void;
    updateStructurePanelVisibility(visibility: boolean): void;
    updateUISettingsPanelVisibility(visibility: boolean): void;
}