Michael Catanzaro <mcatanzaro(a)gnome.org> 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!
It's not just up to me, and it could be a big discussion. I was
planning on coming back to that after we'd got this release out of the
way.
> 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.
Alright.
Allan