Le 02/06/2017 à 11:10, Jean-Marc Lasgouttes a écrit :
Le 02/06/2017 à 11:06, Guillaume MM a écrit :*\cursor_width 2 * are those which I am certain should be set for new users.Are you in a HiDPI system?
No, and it is about having it wider than other lines on the screen.
Shouldn't the cursor width be computed wrt the screen DPI/zoom? instead
