3 ms·
> it doesn't seem like this is as dire as the author is trying to make it out. First you make it as an option. Then you remove the option. This is GNOME deve
by shevy-java 9mo ago
> it doesn't seem like this is as dire as the author is trying to make it out.
First you make it as an option.
Then you remove the option.
This is GNOME development style.
- takluyver 9mo agoNot unlike Firefox, Gnome has a lot of hidden options which aren't exposed in the regular settings UI. There has been an option to control 'primary paste' for 9 years, and it's exposed in Gnome tweaks. There's no obvious reason that changing the default means the option will be removed entirely.