[misc] Minor tweaks.

.gitignore

@@ -22,7 +22,7 @@ node_modules
 
 # Links for in-place serving
 coq-pkgs
-/coq-js/jscoq_worker.js
+/coq-js/jscoq_worker.bc.js
 
 # Apple stuff
 .DS_Store

Makefile

@@ -95,7 +95,7 @@ install:
 
 links:
 	ln -sf _build/$(BUILD_CONTEXT)/coq-pkgs .
-	ln -sf ../_build/$(BUILD_CONTEXT)/coq-js/jscoq_worker.bc.js coq-js/jscoq_worker.js
+	ln -sf ../_build/$(BUILD_CONTEXT)/coq-js/jscoq_worker.bc.js coq-js/jscoq_worker.bc.js
 
 links-clean:
 	rm -f coq-pkgs coq-js/jscoq_worker.js

package.json

@@ -7,7 +7,6 @@
     "jscoqdoc": "ui-js/jscoqdoc.js"
   },
   "dependencies": {
-    "@corwin.amber/hastebin": "^0.1.1",
     "array-equal": "^1.0.0",
     "bootstrap": "^5.1.3",
     "child-process-promise": "^2.2.1",
@@ -29,6 +28,7 @@
     "vue-context-menu": "^2.0.6"
   },
   "devDependencies": {
+    "@corwin.amber/hastebin": "^0.1.1",
     "@types/find": "^0.2.1",
     "@types/mkdirp": "^1.0.1",
     "@types/node": "^13.11.1",

ui-js/coq-manager.js

@@ -1191,6 +1191,7 @@ class CoqManager {
               interrupt = () => this.interruptRequest();
         const nav_bindings = {
             '_Enter':     goCursor, '_NumpadEnter': goCursor,
+            '^Enter':     goCursor, '^NumpadEnter': goCursor,
             '_ArrowDown': goNext,
             '_ArrowUp':   goPrev,
             'F8': toggle,