code: function(options) {
      var option = {enabled: true};
      option.text = Blockly.Msg.PROCEDURES_HIGHLIGHT_DEF;
      var name = this.getProcedureCall();
      var workspace = this.workspace;
      option.callback = function() {
        var def = Blockly.Procedures.getDefinition(name, workspace);
        def && def.select();
      };
      options.push(option);
    }
docs: Add menu option to find the definition block for this call.
  @param {!Array} options List of menu options to add to.
  @this Blockly.Block