Merge pull request #55 from carlosperate/scrollbar_thickness

Restore thicker scrollbar on touch devices

core/scrollbar.js

@@ -27,7 +27,7 @@
 goog.provide('Blockly.Scrollbar');
 goog.provide('Blockly.ScrollbarPair');
 
-goog.require('goog.userAgent');
+goog.require('goog.events');
 
 
 /**
@@ -179,7 +179,7 @@ Blockly.Scrollbar = function(workspace, horizontal, opt_pair) {
  * Don't define if there is no document object (e.g. node.js).
  */
 Blockly.Scrollbar.scrollbarThickness = 15;
-if (goog.getObjectByName('document.documentElement.ontouchstart')) {
+if (goog.events.BrowserFeature.TOUCH_ENABLED) {
   Blockly.Scrollbar.scrollbarThickness = 25;
 }