Re: [Accessibility] Can one modify line spacing in gnome-terminal