function on_mouseup(e) {
    drawing = false;
    draw_thumb();
  }