-
Notifications
You must be signed in to change notification settings - Fork 31
I checked the source code and it's all a mess! Why didn't you just do X or Y? This sucks, you suck
Well, this is my first somewhat real project, and I like to think that I've learned a lot since I started, so if you see something that you think could be done better I would really appreciate it if you gave any feedback about it, preferably but not mandatorily in a constructive manner.
Something is not working, I think there may be a bug
Continue reading the rest of the FAQ and check if said problem is described below. If not the case check all the log files located in /home/USER/.config/automathemely (some may be hidden), and if they were to be empty try doing a single run by doing automathemely and checking the output. Then open an issue with the content of said files or output and a brief explanation of your problem.
I have a suggestion for a desktop environment or application and I know how to implement it!
That's great! Open an issue, or even better make a pull request. I'm all ears!
I have a suggestion but I am not really sure how to implement it
That's okay too, you can still open an issue and I'll see what I can do, but no promises.
GNOME Shell themes are not working
Make sure you have GNOME Tweaks (also known as gnome-tweak-tool) installed and the User Themes extension installed (either from the gnome-shell-extensions package or from the Shell Extensions site) and enabled.
Some GTK apps are not being updated in KDE
Yes, this is the case with GTK3 applications, which for some reason have no obvious way for them to tell them that the theme has changed unlike GTK2 apps. This seems to be an issue even with the System Settings native kde-gtk-config and as far as I know has no current solution other than closing them and opening them up again.
Wait, don't Atom and VSCode already have their own extension to automatically switch their respective themes?
Well yeah, they do. But since each have their own definitions of when to switch said themes I found it annoying to have a mismatch of desktop themes and their themes. You can keep using them if you want to, but I thought it would be nice to give you an option.