"mouse-sensitive" option depends on "hot-corner"