Skip to content
New issue

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

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

Already on GitHub? # to your account

Remove deprecated Theia themes #1283

Closed
3 tasks done
per1234 opened this issue Aug 3, 2022 · 9 comments · Fixed by #1994
Closed
3 tasks done

Remove deprecated Theia themes #1283

per1234 opened this issue Aug 3, 2022 · 9 comments · Fixed by #1994
Assignees
Labels
conclusion: resolved Issue was resolved criticality: low Of low impact phase: implementation Work is in the implementation phase priority: high Resolution is a high priority topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement

Comments

@per1234
Copy link
Contributor

per1234 commented Aug 3, 2022

Describe the request

  • Remove the "Dark (Theia)" and "Light (Theia)" themes from the "Theme" menu of the Arduino IDE Preferences dialog.
  • Remove the then unnecessary suffixes from the text of the "Theme" menu:
    • High Contrast (Theia) -> High Contrast
    • Dark (Arduino) -> Dark
    • Light (Arduino) -> Light

image.png

🙂 Users will not be offered superfluous unsupported theme options.

Describe the current behavior

Arduino IDE 2.x is built on the free open source Eclipse Theia IDE framework. The Theia project provides several themes:

  • Dark (Theia)
  • Light (Theia)
  • High Contrast (Theia)

Arduino has created bespoke themes which carry forward and expand the distinctive Arduino design style into this new release of the Arduino IDE:

  • Dark (Arduino)
  • Light (Arduino)

All five of these themes are currently listed under the "Theme" menu of the Arduino IDE Preferences dialog.

image

Since Arduino's themes are functional replacements for the dark and light Theia themes, development resources are more effectively allocated to other aspects of the project than to supporting and maintaining Theia's themes. For this reason, the "Dark (Theia)" and "Light (Theia)" themes are deprecated and no longer supported by Arduino (the high contrast theme continues to be supported since this potentially provides unique value in improving accessibility).

🙁 Users are offered theme options which have known problems and will not be supported. The maintenance burden of the Arduino IDE project is increased by the need to manage defect reports or enhancement requests we can not resolve.

Arduino IDE version

2.0.0-rc9.1-snapshot-d556ee9

Operating system

All

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@per1234 per1234 added criticality: low Of low impact phase: implementation Work is in the implementation phase priority: high Resolution is a high priority topic: code Related to content of the project itself type: enhancement Proposed improvement labels Aug 3, 2022
@per1234 per1234 added the topic: theme Related to GUI theming label Aug 3, 2022
@InstantMuffin
Copy link
Contributor

Thank you for referencing this.
Switching from Theia Light to Theia Arduino gives an "aha"-moment and gives sense to a lot of design choices (especially the icons in the top right corner) I have observed during my use of the release candidates.
I hope the old themes get removed soon because to me as a user it was not known that these are deprecated, and from a dev perspective the term seems odd to use. With the backstory of them being Theia's default themes (and Theia being an IDE framework and not a fancy old Greek name for a theme) their existence makes sense.

I hope that during that transition Arduino IDE reads the config files and selects the respective light and dark themes based on the user's Theia default theme choice.

If for some reason this transition can't be done easily, in the meantime I would love for these deprecated themes to have remark in their name in the theme listbox in the settings so users know what is going on and might transition on their own, improving the user experience and reducing possible bug reports.

@InstantMuffin
Copy link
Contributor

InstantMuffin commented Aug 4, 2022

Like this:
image

I tried to find the respective themes in this repo but was unsuccessful and could only find things related to the themes the arduino-ide adds themself.

EDIT: Using offline search I find the respective labels in "bundle.js" in "/browser-app/lib" and "/electron-app/lib" and in the theia node modules. These are mostly huge files which is why I think github search doesn't touch them.
Without any background knowledge, I am still getting the feeling these aren't supposed to be touched judging by filename and size and I'm looking at the wrong places here.

@kittaakos
Copy link
Contributor

The Theia theme files come from Theia. IDE2 uses @theia/monaco@1.25.0. The files are here on GitHub: light_theia.json and dark_theia.json. In the bundled app, they're in the final bundle.js. In the IDE2 code, they get registered here.

@Willem43T
Copy link

Willem43T commented Aug 20, 2022

I use the Dark (Theia) and like the color blend. I would have prefered a slightly more "greyish" dark than "brownish - redish?" dark (on my monitor) for the background) but am OK with the current one.

I really dislike the Dark (Arduino) theme (way to much sh...y "orangey" text) so would not like the Theia one be removed.

@AdamKnube
Copy link

I use the Dark (Theia) and like the color blend. I would have prefered a slightly more "greyish" dark than "brownish - redish?" dark (on my monitor) for the background) but am OK with the current one.

I really dislike the Dark (Arduino) theme (way to much sh...y "orangey" text) so would not like the Theia one be removed.

I totally agree with Will, but for another reason.
I'm have vision issues when it comes to colours.
As such when I enable the Android Dark theme I caanot see my cursor when navigating selected text.
To me the cursor and the selection cannot be told apart.
However using the Theia theme changes the cursor to white and the selection to blue which i can tell apart.
So I'm asking that if you do remove the Theia themes then can we at least get a white cursor with it?
Cheers.

@per1234
Copy link
Contributor Author

per1234 commented Sep 19, 2022

when I enable the Android Dark theme I caanot see my cursor when navigating selected text.

Improving the contrast of the cursor color in the "Dark (Arduino)" theme is tracked here:
#1251

@KurtE
Copy link

KurtE commented Sep 21, 2022

Personally, I much prefer the Theia Dark over the Arduino Dark.

Has there been any progress on allowing users to download color themes and/or create/modify their own?
i.e. has there been any progress on #139 ?

At one point I thought I saw some instructions on how to import a VSCode color scheme - but at the time it did not appear
to be a simple task, and if I remember correctly there were some limitations on it.

@kittaakos
Copy link
Contributor

kittaakos commented Sep 21, 2022

At one point I thought I saw some instructions on how to import a VSCode color scheme

https://forum.arduino.cc/t/personal-themes/1024606/2


Update: please keep in mind if you have installed a custom theme, you cannot remove it. See eclipse-theia/theia#11151 and eclipse-theia/theia#11676.

@mjs513
Copy link

mjs513 commented Sep 21, 2022

Personally, I much prefer the Theia Dark over the Arduino Dark.

Has there been any progress on allowing users to download color themes and/or create/modify their own?
i.e. has there been any progress on #139 ?

At one point I thought I saw some instructions on how to import a VSCode color scheme - but at the time it did not appear
to be a simple task, and if I remember correctly there were some limitations on it.

I agree with @KurtE on this one. I do know that with IDE1 it was possible to import other color schemes even though it was annoying on how to do it.

kittaakos pushed a commit that referenced this issue Apr 3, 2023
Closes #1283

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos pushed a commit that referenced this issue Apr 3, 2023
Closes #1283

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos pushed a commit that referenced this issue Apr 4, 2023
Closes #1283
Ref eclipse-theia/theia#11151

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos pushed a commit that referenced this issue Apr 13, 2023
Closes #1283
Ref eclipse-theia/theia#11151

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos pushed a commit that referenced this issue Apr 14, 2023
Closes #1283
Ref eclipse-theia/theia#11151

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos pushed a commit that referenced this issue Apr 14, 2023
Closes #1283
Ref eclipse-theia/theia#11151

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos pushed a commit that referenced this issue Apr 14, 2023
Closes #1283
Ref eclipse-theia/theia#11151

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
@per1234 per1234 added the conclusion: resolved Issue was resolved label Apr 14, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
conclusion: resolved Issue was resolved criticality: low Of low impact phase: implementation Work is in the implementation phase priority: high Resolution is a high priority topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

9 participants