Michael Catanzaro <mcatanzaro@xxxxxxxxx> wrote: > > On Tue, Dec 22, 2020 at 2:05 pm, Allan Day <aday@xxxxxxxxxx> wrote: > > When it comes to extensions my personal priority is to ensure that we > > have a functional dash to dock extension ready for the next release. > > Why? Because a lot of people rely on it (hard to get precise numbers but it's a significant minority). Also, some Red Hat customers use it. > If it's actually important, then surely it should become a setting > that doesn't require an extension. And if it's not important, why do we > care? I'm actually interested in making dash to dock an option in the future, but whether it's an extension or not seems like a different question from whether it's important or not? I mean, there are plenty of options which are important but which exist as extensions, classic mode and friends being the obvious examples. Allan _______________________________________________ desktop mailing list -- desktop@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to desktop-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/desktop@xxxxxxxxxxxxxxxxxxxxxxx
