You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would like to request theming support for the terminal in the workspaces. While I understand that this is not currently supported, the underlying library used for the terminal, xterm.js, does support theming.
Justification:
Theming support would greatly enhance the user experience by allowing users to customize the appearance of their terminal. This customization can improve readability and reduce eye strain, especially during long coding sessions. Additionally, it allows users to personalize their development environment to better suit their preferences and needs.
Configuration Options:
User Level: Allow individual users to customize their terminal theme settings.
Deployment Level: Provide administrators with the ability to set default themes for the entire deployment.
Customization Details:
Color Palettes: Allow users to select from predefined color palettes.
Individual Colors: Provide options for users to pick individual colors for various terminal elements such as background, foreground, cursor, and ANSI colors.
Conclusion:
Implementing theming support in the Workspace Terminal would leverage the existing capabilities of xterm.js and provide a more flexible and enjoyable development environment for users.
Thank you for considering this feature request.
The text was updated successfully, but these errors were encountered:
Description:
I would like to request theming support for the terminal in the workspaces. While I understand that this is not currently supported, the underlying library used for the terminal, xterm.js, does support theming.
Justification:
Theming support would greatly enhance the user experience by allowing users to customize the appearance of their terminal. This customization can improve readability and reduce eye strain, especially during long coding sessions. Additionally, it allows users to personalize their development environment to better suit their preferences and needs.
Configuration Options:
Customization Details:
Conclusion:
Implementing theming support in the Workspace Terminal would leverage the existing capabilities of xterm.js and provide a more flexible and enjoyable development environment for users.
Thank you for considering this feature request.
The text was updated successfully, but these errors were encountered: