mirror of
https://github.com/google/blockly.git
synced 2026-01-08 17:40:09 +01:00
Blockly.utils.userAgent moved to Blockly.userAgent
This commit is contained in:
@@ -27,6 +27,7 @@
|
||||
|
||||
goog.provide('Blockly.Grid');
|
||||
|
||||
goog.require('Blockly.userAgent');
|
||||
goog.require('Blockly.utils');
|
||||
|
||||
|
||||
@@ -185,7 +186,7 @@ Blockly.Grid.prototype.moveTo = function(x, y) {
|
||||
this.gridPattern_.setAttribute('x', x);
|
||||
this.gridPattern_.setAttribute('y', y);
|
||||
|
||||
if (Blockly.utils.userAgent.IE || Blockly.utils.userAgent.EDGE) {
|
||||
if (Blockly.userAgent.IE || Blockly.userAgent.EDGE) {
|
||||
// IE/Edge doesn't notice that the x/y offsets have changed.
|
||||
// Force an update.
|
||||
this.update(this.scale_);
|
||||
|
||||
Reference in New Issue
Block a user