reordered Sync menu; new neslib

index.html

@@ -73,12 +73,12 @@ if (window.location.host.endsWith('8bitworkshop.com')) {
           <li><a class="dropdown-item" href="#" id="item_github_logout">Log out</a></li>
           <hr>
           <li><a class="dropdown-item" href="#" id="item_github_import">Import Project from GitHub...</a></li>
-          <li><a class="dropdown-item" href="#" id="item_github_publish">Publish Project on GitHub...</a></li>
-          <li><a class="dropdown-item" href="#" id="item_repo_delete">Delete Local Repository...</a></li>
+          <li><a class="dropdown-item" href="#" id="item_github_pull">Pull Latest from Repository</a></li>
           <hr>
+          <li><a class="dropdown-item" href="#" id="item_github_publish">Publish Project on GitHub...</a></li>
           <li><a class="dropdown-item" href="#" id="item_github_push">Push Changes to Repository...</a></li>
           <hr>
-          <li><a class="dropdown-item" href="#" id="item_github_pull">Pull Latest from Repository</a></li>
+          <li><a class="dropdown-item" href="#" id="item_repo_delete">Delete Local Repository...</a></li>
         </ul>
       </li>
       <li class="dropdown dropdown-submenu">

src/ui.ts

@@ -612,8 +612,8 @@ function pushChangesToGithub(message:string) {
 function _deleteRepository() {
   var ghurl = getBoundGithubURL();
   if (!ghurl) return;
-  bootbox.prompt("<p>Are you sure you want to delete this repository (" + ghurl + ") from browser storage?</p><p>All changes since last commit will be lost.</p><p>Type YES to proceed.<p>", (yes) => {
-    if (yes.trim().toUpperCase() == "YES") {
+  bootbox.prompt("<p>Are you sure you want to delete this repository (" + ghurl + ") from browser storage?</p><p>All changes since last commit will be lost.</p><p>Type DELETE to proceed.<p>", (yes) => {
+    if (yes.trim().toUpperCase() == "DELETE") {
       deleteRepository();
     }
   });