On Tue, Dec 22, 2020 at 3:55 pm, Allan Day <aday@xxxxxxxxxx> 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.
_______________________________________________ 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
