diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2011,7 +2011,7 @@ IDE_Morph.prototype.projectMenu = function () { menu.addLine(); menu.addItem( - 'Import tools...', + 'Import tools', function () { var url = 'http://snap.berkeley.edu/snapsource/tools.xml', |
