Skip to content
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

Bug 521889 - Contribute themes that alter the UX #226

Closed
wants to merge 1 commit into from

Conversation

caseyflynn-google
Copy link
Contributor

Add settings to toggle visibility of items in Orion IDE.

Signed-off-by: Casey Flynn caseyflynn@google.com

Add settings to toggle visibility of items in Orion IDE.

Signed-off-by: Casey Flynn <caseyflynn@google.com>
@eclipsewebmaster
Copy link

Issue tracker reference:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=521889

@coveralls
Copy link

Coverage Status

Coverage remained the same at 54.05% when pulling a6f4391 on bug_521889 into 47ebf16 on master.

@snorthov snorthov requested a review from squarti October 19, 2017 13:46
@snorthov
Copy link

It still seems a bit strange to me that you can hide and show the run bar from inside a theme. A theme for me is colors and fonts. What would it mean to show the run bar in a context that is not really set up to configure it?

My vision was that this would be a flag that you set in orion.conf to get a certain "editor only" feel versus an IDE. You would never want to change this dynamically nor should you be able to do it.

SSQ, thoughts?

@dimitrovs
Copy link

Just to chime in, I second @snorthov's opinion. At Cloudeity we also use Orion purely as editor and we disabled the run bar and other features in our own fork. In the future it would be nice to allow users to set / import themes in the editor. If we rely on a theme to hide the run bar then themes will not be compatible across deployments that use or don't use the run bar. The theme should be about styling, not configuration.

@squarti
Copy link
Contributor

squarti commented Oct 19, 2017

I agree we should not hide portions of the UI using the theming engine. We should either uses default preferences (i.e. defaults.pref) for client side only changes or orion.conf if there are changes in the server side as well.

@caseyflynn-google
Copy link
Contributor Author

That's fair. This was my approach to handling unwanted UI elements as alternatives would have introduced a much larger scope (e.g. Possibly examining the entire UI to introduce more modularity). If we don't want to go this route (or some alternative of introducing css to hide elements) I can discard this PR and welcome alternate suggestions.

@squarti squarti deleted the bug_521889 branch July 5, 2022 14:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
6 participants