Skip to content

Add disableUiMinification setting to allow developers to preserve VSCode UI elements#113

Open
JEdward7777 wants to merge 2 commits intomainfrom
JEL_disableMinificationOption
Open

Add disableUiMinification setting to allow developers to preserve VSCode UI elements#113
JEdward7777 wants to merge 2 commits intomainfrom
JEL_disableMinificationOption

Conversation

@JEdward7777
Copy link

This PR introduces a new configuration setting codex-editor-extension.disableUiMinification that allows developers to prevent the extension from hiding VSCode (or VSCodium) interface elements.

Changes Made:

  1. Added new configuration setting in package.json:

    • codex-editor-extension.disableUiMinification (boolean, default: false)
    • When enabled, prevents hiding of VSCode interface elements like status bar, breadcrumbs, tabs, etc.
  2. Modified extension activation logic in src/extension.ts:

    • Added checks for the disableUiMinification setting before applying UI minification
    • Conditionally execute UI hiding commands only when minification is enabled
    • Updated executeCommandsBefore and executeCommandsAfter functions to respect the setting
    • Fixed status bar toggle to only execute when minification is enabled
  3. Updated SplashScreenProvider in src/providers/SplashScreen/SplashScreenProvider.ts:

    • Added conditional check for UI minification before maximizing editor layout
  4. Updated project initializers in src/projectManager/projectInitializers.ts:

    • Added checks to only set target font when UI minification is enabled

Benefits:

  • Developer Experience: Developers can now access full VSCode functionality while using the extension
  • Configurable UI: Users can choose between a clean translation studio experience or full VSCode interface
  • Backward Compatibility: Default behavior remains unchanged (minification enabled by default)

Usage:

Add "codex-editor-extension.disableUiMinification": true to your VSCode settings.json to preserve all VSCode (or VSCodium) UI elements.

@JEdward7777 JEdward7777 force-pushed the JEL_disableMinificationOption branch from f34b2b6 to 18d28f3 Compare August 26, 2025 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant