![](/static/253f0d9b/assets/icons/icon-96x96.png)
![](https://lemmy.ml/pictrs/image/q98XK4sKtw.png)
Can’t those be installed in toolbox?
Can’t those be installed in toolbox?
Metro UI toggle buttons were rectangular though.
GNOME devs never said that theming is incompatible (just “not supported”), and you’re still not explaining whay you mean with “incompatible” either. Managing window controls also doesn’t seem a requirement to be “compatible”, as the app still runs fine even with client side decorations (again, it just won’t fit visually with the rest of the system).
And by the way, the problem is not theming per-se, but the fact that apps get themed by default, they inevitably break by default, and app developers are left to deal with that. Nobody ever tried to improve the situation so the solution they came up with is to have their apps always look the same.
Libadwaita is only compatible with gnome and only works with gnome. Other DE’s can try to make it work in their DE, but the experience for them is hostile.
Not sure what you mean with “compatible”, as libadwaita apps are supposed to work on other DEs as well. It might not fit visually with them, but that’s not being incompatible.
You don’t necessarily have to write a non-transitive cmp() function willingly, it may happen that you write one without realizing due to some edge cases where it’s not transitive.
For that usecase rustc_codegen_gcc
works too and is much more likely to be mature soon.
That’s why I said unstable operations. Addition is considered a stable operation (for values with the same sign)
TBF the error can become that big if you do a bunch of unstable operations (i.e. operations that continue to increase the relative error), though that’s probably not what is happening here.
Vs Codium is the open source version. Vs Code is based on Vs Codium but with the addition of closed source telemetry and the extensions marketplace.
Emails are nowhere near being competitive with discord. Sure, they’re technically more accessible, but in practice they are much less usable by random people which in turn will just avoid interacting or contributing with your project.