接口 BuiltInUIManager

interface BuiltInUIManager {
    activateTutorial(): void;
    navigateToDocumentation(): void;
    navigateToFeedback(): void;
    navigateToPauseScreen(): void;
    navigateToSamples(): void;
    saveAndExit(): void;
    updateLogPanelVisibility(visibility: boolean): void;
    updateUISettingsPanelVisibility(visibility: boolean): void;
    updateWelcomePanelVisibility(visibility: boolean): void;
}