theia
theia copied to clipboard
Codicon color and URI support to TerminalOptions
This is a copy of the original PR #12861 First commit was cherry picked from https://github.com/FernandoAscencio/theia/commit/ba3dda24e7fac3ac81522d61d2ad531b4a94f8c9 In the second commit, I applied the suggested changed from the original PR.
The original description below
What it does
Closes https://github.com/eclipse-theia/theia/issues/12074
This commit adds URI and { light, dark } support for terminal icons. This commit adds ColorTheme support for ThemeIcons Support for ExtensionTerminalOptions#iconPath
How to test
Open Theia Install from VSIX the test extension Check the result follow VSCode test results seen below:
Review checklist
- [ x] As an author, I have thoroughly tested my changes and carefully followed the review guidelines
Reminder for reviewers
- As a reviewer, I agree to behave in accordance with the review guidelines
@tsmaeder Thanks for your re-view, I will have a look today.
@dhuebner the license check fails. Do we need an ip ticket here?
@tsmaeder It hard to say for me what exactly fails from reading the error log. The original PR, however, didn't fail https://github.com/eclipse-theia/theia/pull/12861 And I added no additional dependencies.
@dhuebner, there was a message yesterday from Thomas on Theia dev list about those IP checks failing. You may rebase on top of master, that should fix the issue. https://github.com/eclipse-theia/theia/pull/13524 is the PR fixing the issue.
@dhuebner @tsmaeder I've updated the PR myself. I've added support for custom icons for quick pick items and quick pick buttons. You can find an example plugin for that here. Simply use the Quick Input Samples
command. Use the multiStepInput
option to test that the button icons work as expected. With that I was able to align the icon code of terminals and quick picks.
@msujew After properly rebuilding the local state it works for me!
I noticed that after reloading the host, custom terminal (restored) icons are not rendered, see below. ~~Also the default terminal Terminal 5
doesn't have an Icon, should we use the default icon here?~~
I've added a default icon for the shell terminals.
@JonasHelming I (re)wrote most of this PR. I'm not in a good position to review it. I already pinged @tsmaeder for a review.
It's on my list of todo's.
@msujew how do I test this? Where do the icons show up?
@tsmaeder
For the quick pick icons:
You can find an example plugin for that here. Simply use the
Quick Input Samples
command. Use themultiStepInput
option to test that the button icons work as expected.
For the terminal icons: You need to install the linked plugin and run the associated commands. For example Green File Codicon Icon Terminal
(they all end on Terminal
).
@msujew What is the state of this, ready for a re-review?