I... think I'd disagree with you on the line width, unless that's a '1 screen pixel' border, regardless of scaling. I think partially sighted folks would also prefer to have the option to make the border more substantial: if you can't focus properly, a thin border doesn't help distinguish white ink from white paper.
I've just upgraded to the latest Ubuntu - I presume this patch will appear there shortly?
I... think I'd disagree with you on the line width, unless that's a '1 screen pixel' border, regardless of scaling. I think partially sighted folks would also prefer to have the option to make the border more substantial: if you can't focus properly, a thin border doesn't help distinguish white ink from white paper.
I've just upgraded to the latest Ubuntu - I presume this patch will appear there shortly?
Cheers.