On Tue, Dec 22, 2020 at 3:55 pm, Allan Day <aday(a)redhat.com> wrote:
I'm actually interested in making dash to dock an option in the
future
OK then, well if everything is going to be redesigned, now seems like
as good a time as any for it. And I suspect Ubuntu will thank you!
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.
Eh... classic mode is a little special in that it is a supported,
upstream option that we install by default in Workstation. The fact
that it's implemented with extensions is just an implementation detail.