Thibaut Paumard, on Fri 03 Feb 2017 13:09:37 +0100, wrote: > A work-around is to run dasher with GDK_BACKEND=x11: > > GDK_BACKEND=x11 dasher Perhaps we (and upstream) should do this by default for now? Samuel