add mouseLeaveDragging() behavior to the paint editor, thanks, Kartik!

All credit for fixing this goes to Kartik. This also seems to change
just about every line ending for reasons known only to Xcode. Sorry
Kartik, for not pulling your request because of those line endings,
they are inevitable!

history.txt

@@ -2049,3 +2049,4 @@ ______
 ------
 * Threads, Blocks, Objects: The FOR reporter’s first input now also accepts blocks and scripts („rings“), and reports a copy that is bound to the sprite indicated by the second input. This lets you „zombify“ (or remote-control) sprites (and create custom TELL and ASK blocks)
 * Blocks: initial support for „sensing“ sprite-only custom block definitions, commented out for now
+* Paint: Add mouseLeaveDragging() event behavior, thanks, Kartik, for this fix!

paint.js

@@ -50,6 +50,7 @@
     May 16 - flat design adjustments (Jens)
     July 12 - pipette tool, code formatting adjustments (Jens)
     September 16 - flood fill freeze fix (Kartik)
+    Jan 08 - mouse leave dragging fix (Kartik)
 
  */
 
@@ -63,7 +64,7 @@
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.paint = '2013-September-16';
+modules.paint = '2014-January-08';
 
 // Declarations
 
@@ -886,6 +887,9 @@ PaintCanvasMorph.prototype.mouseClickLeft = function () {
     this.brushBuffer = [];
 };
 
+PaintCanvasMorph.prototype.mouseLeaveDragging
+    = PaintCanvasMorph.prototype.mouseClickLeft;
+
 PaintCanvasMorph.prototype.buildContents = function () {
     this.background = newCanvas(this.extent());
     this.paper = newCanvas(this.extent());