modify range cursor width

static/poseEditor.js

@@ -305,6 +305,7 @@ function drawUI() {
   if (keyDownFlags['Space'] || keyDownFlags['BracketLeft'] || keyDownFlags['BracketRight'] || 
       new Date().getTime() - lastWheeling < wheelDisplayTime) {
     ctx.beginPath();
+    ctx.lineWidth=4;
     ctx.arc(mouseCursor[0], mouseCursor[1], dragRange, 0, 2 * Math.PI);
     ctx.strokeStyle = 'rgb(255,255,255)';
     ctx.stroke();