function on_mousemove(e) {
    if (!drawing)
      return;
  
    var pos = transform_event_coord(e);
  
    var canvas = document.getElementById("canvas");
    var ctx = canvas.getContext("2d");