> Mike Bird composed on 2018-05-31 09:14 (UTC-0700): > > > If we're voting on this (?) I'd vote not to have the space by default. > > It is an unnecessary change in a software suite that prides itself on > > not pushing unnecessary changes, it is less elegant, and those who need > > or prefer a space for any reason can enable it in Appearance & Themes / > > Window Decorations / Buttons. > > +++ > -- Agreed. Kate