Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Theming Support in Workspace Terminal #16168

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Greeenman999 opened this issue Jan 16, 2025 · 2 comments
Open

Theming Support in Workspace Terminal #16168

Greeenman999 opened this issue Jan 16, 2025 · 2 comments
Labels
site Area: frontend dashboard

Comments

@Greeenman999
Copy link

Greeenman999 commented Jan 16, 2025

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:

  • 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.

@Greeenman999
Copy link
Author

@matifali
Copy link
Member

Hi @Greeenman999, Thanks for the request. This relates to #15024 and can be merged into that. I believe fonts should come under theming.

@matifali matifali added the site Area: frontend dashboard label Jan 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
site Area: frontend dashboard
Projects
None yet
Development

No branches or pull requests

2 participants