On Monday 12 May 2014, Jens Reuterberg wrote: > There's an issue with the cursors though and that is that they only exist > in one size right now which is causing merry hell for people with HDPI > screens i'm looking to see if generating a double size version may be scriptable enoough -- Marco Martin