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
This is mCRL2ide compiled with Qt 6.7. Although the icons are also the same for macOS dark mode it seems to me like the background is darker, thus making it hard to see them.
Whereas the nightly version, using Qt 6.6, looks fine:
The text was updated successfully, but these errors were encountered:
Currently, we do not have suitable icons for the Windows dark mode palette. So my proposed solution would be to set windows:darkmode=0 on startup to disable dark mode on Windows completely for the time being.
I could make some icons suitable for light mode. Concerning detection of dark mode, I can remember adding basic code for that, for instance for the text editor syntax colouring, that simply checks whether the background is dark and if so, uses dark mode defaults. I guess the same thing can be done here.
If you want to make icons for light than that could work as well for mcrl2ide. Perhaps for ltsgraph it might still be useful to disable dark mode due to the white canvas. Also my proposed solution does not work for the menus for whatever reason.
This is mCRL2ide compiled with Qt 6.7. Although the icons are also the same for macOS dark mode it seems to me like the background is darker, thus making it hard to see them.
Whereas the nightly version, using Qt 6.6, looks fine:
The text was updated successfully, but these errors were encountered: