From 2ffe3726ce11ce5b33b00f19265a14e374ee8fee Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Fri, 1 Jun 2012 18:24:57 +0400
Subject: [PATCH] doubleclick on whitespace must select only whitespace

---
 lib/ace/edit_session.js | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js
index ed3b2736..81e17227 100644
--- a/lib/ace/edit_session.js
+++ b/lib/ace/edit_session.js
@@ -708,15 +708,18 @@ var EditSession = function(text, mode) {
         var line = this.getLine(row);
 
         var inToken = false;
-        if (column > 0) {
+        if (column > 0)
             inToken = !!line.charAt(column - 1).match(this.tokenRe);
-        }
 
-        if (!inToken) {
+        if (!inToken)
             inToken = !!line.charAt(column).match(this.tokenRe);
-        }
-
-        var re = inToken ? this.tokenRe : this.nonTokenRe;
+        
+        if (inToken)
+            var re = this.tokenRe;
+        else if (/^\s+$/.test(line.slice(column-1, column+1)))
+            var re = /\s/;
+        else
+            var re = this.nonTokenRe;
 
         var start = column;
         if (start > 0) {