From e2f1a6c8431270e1ddd57700ada40ca82fc0b019 Mon Sep 17 00:00:00 2001
From: rachel-fenichel <fenichel@google.com>
Date: Tue, 29 Mar 2016 14:26:56 -0700
Subject: [PATCH] Fix annotations

---
 core/inject.js        | 4 ++--
 core/workspace.js     | 4 ++--
 core/workspace_svg.js | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/core/inject.js b/core/inject.js
index 75501def7..e105b6b50 100644
--- a/core/inject.js
+++ b/core/inject.js
@@ -62,7 +62,7 @@ Blockly.inject = function(container, opt_options) {
 /**
  * Create the SVG image.
  * @param {!Element} container Containing element.
- * @param {Object} options Dictionary of options.
+ * @param {!Blockly.Options} options Dictionary of options.
  * @return {!Element} Newly created SVG image.
  * @private
  */
@@ -176,7 +176,7 @@ Blockly.createDom_ = function(container, options) {
 /**
  * Create a main workspace and add it to the SVG.
  * @param {!Element} svg SVG element with pattern defined.
- * @param {Object} options Dictionary of options.
+ * @param {!Blockly.Options} options Dictionary of options.
  * @return {!Blockly.Workspace} Newly created main workspace.
  * @private
  */
diff --git a/core/workspace.js b/core/workspace.js
index f8cf8d4bc..7d39f0261 100644
--- a/core/workspace.js
+++ b/core/workspace.js
@@ -32,14 +32,14 @@ goog.require('goog.math');
 /**
  * Class for a workspace.  This is a data structure that contains blocks.
  * There is no UI, and can be created headlessly.
- * @param {Object=} opt_options Dictionary of options.
+ * @param {Blockly.Options} opt_options Dictionary of options.
  * @constructor
  */
 Blockly.Workspace = function(opt_options) {
   /** @type {string} */
   this.id = Blockly.genUid();
   Blockly.Workspace.WorkspaceDB_[this.id] = this;
-  /** @type {!Object} */
+  /** @type {!Blockly.Options} */
   this.options = opt_options || {};
   /** @type {boolean} */
   this.RTL = !!this.options.RTL;
diff --git a/core/workspace_svg.js b/core/workspace_svg.js
index 7d42e6597..aa4261185 100644
--- a/core/workspace_svg.js
+++ b/core/workspace_svg.js
@@ -43,7 +43,7 @@ goog.require('goog.userAgent');
 /**
  * Class for a workspace.  This is an onscreen area with optional trashcan,
  * scrollbars, bubbles, and dragging.
- * @param {!Object} options Dictionary of options.
+ * @param {!Blockly.Options} options Dictionary of options.
  * @extends {Blockly.Workspace}
  * @constructor
  */