Bugfix/no cursors on touch (#212)

* Don't switch mouse cursor on mobile

* Add goog.userAgent to require
This commit is contained in:
Tim Mickel 2016-04-13 16:38:44 -04:00
parent 8cba76df19
commit 0408c9f695

View file

@ -28,6 +28,7 @@ goog.provide('Blockly.Css');
goog.require('Blockly.Colours');
goog.require('goog.userAgent');
/**
* List of cursors.
@ -100,6 +101,11 @@ Blockly.Css.inject = function(hasCss, pathToMedia) {
* @param {Blockly.Css.Cursor} cursor Enum.
*/
Blockly.Css.setCursor = function(cursor) {
if (goog.userAgent.MOBILE || goog.userAgent.ANDROID || goog.userAgent.IPAD) {
// Don't try to switch the mouse cursor on a mobile device.
// This is an optimization - since we almost never have cursors on mobile anyway.
return;
}
if (Blockly.Css.currentCursor_ == cursor) {
return;
}