On 29 June 2020 04:51:40 CEST, Matthew Miller <mattdm@xxxxxxxxxxxxxxxxx> wrote: >On Sun, Jun 28, 2020 at 10:32:34AM -0700, John M. Harris Jr wrote: >> > Fine :) https://github.com/gwsw/less/issues/72 >> See Markus Larsson's comment on this above... > >Yeah, but as Michael points out, that doesn't really apply: it takes up >literally zero additional screen space. > Yeah, looks like a slippery slope to me. Yes I'm mostly joking but these things has a tendency to grow. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-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/devel@xxxxxxxxxxxxxxxxxxxxxxx
