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? Shouldn't the cursor width be computed wrt the screen DPI/zoom? instead
JMarc
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? Shouldn't the cursor width be computed wrt the screen DPI/zoom? instead
JMarc