diff --git a/blocks.js b/blocks.js index 5861350b..6329d2d5 100644 --- a/blocks.js +++ b/blocks.js @@ -150,7 +150,7 @@ CustomCommandBlockMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.blocks = '2017-January-19'; +modules.blocks = '2017-January-20'; var SyntaxElementMorph; var BlockMorph; @@ -2539,6 +2539,16 @@ BlockMorph.prototype.userMenu = function () { ); }); } + proc.homeContext.variables.names().forEach(function (vn) { + if (!contains(vNames, vn)) { + menu.addItem( + vn + '...', + function () { + proc.doShowVar(vn); + } + ); + } + }); return menu; } if (this.parent.parentThatIsA(RingMorph)) { diff --git a/history.txt b/history.txt index f876b7da..bc5443f6 100755 --- a/history.txt +++ b/history.txt @@ -3314,3 +3314,7 @@ Fixes: * German translation update * Blocks: changed keyboard shortcut indicator for “find blocks” to “^” * GUI: fixed #1631 + +170120 +------ +* Blocks: improved inspectability of local variables