Michael Catanzaro <mcatanzaro(a)gnome.org> wrote:
On Tue, Dec 22, 2020 at 2:05 pm, Allan Day <aday(a)redhat.com> 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