Michael Catanzaro <mcatanzaro@xxxxxxxxx> 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 _______________________________________________ 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