diff --git a/gui.js b/gui.js index 6af9137..087dd44 100644 --- a/gui.js +++ b/gui.js @@ -2096,6 +2096,12 @@ IDE_Morph.prototype.settingsMenu = function () { 'userSetStageSize' ); menu.addLine(); + // NLTK additions + menu.addItem( + 'Remote execution URL...', + 'userSetRemoteExecutionURL' + ); + menu.addLine(); addPreference( 'Blurred shadows', 'toggleBlurredShadows', diff --git a/snap.html b/nltk.html similarity index 91% rename from snap.html rename to nltk.html index 904aba8..331f25f 100755 --- a/snap.html +++ b/nltk.html @@ -18,6 +18,8 @@ + +