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

Is it possible to modify the window controls? #6

Open
jpmvferreira opened this issue Nov 22, 2023 · 3 comments
Open

Is it possible to modify the window controls? #6

jpmvferreira opened this issue Nov 22, 2023 · 3 comments
Labels
enhancement New feature or request

Comments

@jpmvferreira
Copy link

Hi there, I've been looking at yours theme and the Darcula theme, https://github.com/alecGraves/WolframNotebookDarculaTheme, and I wonder whether you can also modify the colors of the windows.
It seems that the author of https://gitlab.com/jakobneef/mathemeatica did it, but I don't really know how, so I'm letting you know of that and maybe you could find a way of extending your theme to the window controls!

@jldohmann
Copy link
Collaborator

@jpmvferreira do you mean like the application window? i'm not sure. from the links you sent, it looks like their computer desktop file bar is matched to the theme, so it's probably something that's controlled by the OS. but if you find out anything else please feel free to let me know 😄

@jldohmann
Copy link
Collaborator

ah, from the gitlab project description:

maTHEMEatica is a customizable Dark Mode for Mathematica. It generates a custom stylesheet and (for Linux) colors the menu bars accordingly.

so yes looks like that part is OS specific. i'm primarily a mac user these days so i wouldn't be able to add this and test. but it would be a nice enhancement

@jldohmann jldohmann added the enhancement New feature or request label Nov 27, 2023
@jpmvferreira
Copy link
Author

Before I forget, once I have the time to dig into this, it would also be nice if we have the power to change the menu bars to hide specific elements.
I'm not quite sure how easy it is to do this, I've send about 10 minutes figuring out how to hide the bottom horizontal bar that shows the zoom level and failed, so if this feature we can manipulate things at a lower level than that what is offered to the end user then that could also be an option.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Development

No branches or pull requests

2 participants