You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Aug 29, 2023. It is now read-only.
First thanks for this plugin its working great. I would also like to use this plugin on my Linux machine. At least an integration with Gnome 3 based desktop environments would be nice for me.
Could we make this happen? I'm not so familiar with Java anymore but maybe some other Linux user is?
The text was updated successfully, but these errors were encountered:
I recently discovered the new feature and already started research on how to get the values for the discovery of the theme switching (is ubuntu now dark or light?). Unfortunately I have not found anything.
On the Jetbrains side: Even though it is possible to check whether Gnome is used, it is not possible by now to detect the exact version using an easy way without adding a lot of unique code to the plugin. My idea of the plugin is to keep it as simple on the code basis as possible. Adding the Gnome version detection would make it mostly specific.
I think, as long as Jetbrains is not updating its plugin SDK to allow finer detection of the OS (by now only Linux or no Linux, they are more advanced on Mac and Win on that) we should put this on hold and say, that we need either some input on this :)
First thanks for this plugin its working great. I would also like to use this plugin on my Linux machine. At least an integration with Gnome 3 based desktop environments would be nice for me.
Could we make this happen? I'm not so familiar with Java anymore but maybe some other Linux user is?
The text was updated successfully, but these errors were encountered: