Thanks, the version 1.0.1 in the ppa renders properly. However, it is still not perfectly usable on the high-dpi screen because it expands to much to the top (I believe the snapping feature gets sometimes the window coordinates wrong). I will try to narrow it down to write a separate bug report.
Thanks, the version 1.0.1 in the ppa renders properly. However, it is still not perfectly usable on the high-dpi screen because it expands to much to the top (I believe the snapping feature gets sometimes the window coordinates wrong). I will try to narrow it down to write a separate bug report.