Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 698ba2e3
--- a/examples/sqrt_2.template.html
+++ b/examples/sqrt_2.template.html
@@ -7,11 +7,8 @@
    <link rel="icon" href="../frontend/classic/images/favicon.png">

    <style>body { visibility: hidden; } /* FOUC avoidance */</style>
-    <link rel="stylesheet" type="text/css" href="../node_modules/bootstrap/dist/css/bootstrap.min.css">
+    <link rel="stylesheet" type="text/css" href="../dist/frontend/index.css">
    <link rel="stylesheet" type="text/css" href="../node_modules/katex/dist/katex.min.css">
-    <link rel="stylesheet" type="text/css" href="../frontend/classic/css/landing-page.css">
-    <link rel="stylesheet" type="text/css" href="../frontend/classic/css/kbd.css">
-    <link rel="stylesheet" type="text/css" href="../frontend/classic/css/jscoqdoc.css">
  </head>

 <body class="jscoq-main">

--- a/flake.lock
+++ b/flake.lock
+{
+  "nodes": {
+    "flake-utils": {
+      "inputs": {
+        "systems": "systems"
+      },
+      "locked": {
+        "lastModified": 1726560853,
+        "narHash": "sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1728492678,
+        "narHash": "sha256-9UTxR8eukdg+XZeHgxW5hQA9fIKHsKCdOIUycTryeVw=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "5633bcff0c6162b9e4b5f1264264611e950c8ec7",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "ref": "nixos-unstable",
+        "type": "indirect"
+      }
+    },
+    "root": {
+      "inputs": {
+        "flake-utils": "flake-utils",
+        "nixpkgs": "nixpkgs"
+      }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
--- a/flake.nix
+++ b/flake.nix
+{
+  inputs = {
+    nixpkgs.url = "nixpkgs/nixos-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+  
+  outputs = { self, nixpkgs, flake-utils, ... }: flake-utils.lib.eachDefaultSystem (system:
+    let
+      pkgs = nixpkgs.legacyPackages.${system};
+    in {
+      devShell = pkgs.mkShell {
+        packages = with pkgs; [
+          (vscode-with-extensions.override {
+            vscodeExtensions = with vscode-extensions.ms-python; [
+              python
+              debugpy
+              vscode-pylance
+            ];
+          })
+        ];
+      };
+    });
+}
+
--- a/frontend/classic/css/coq-base.css
+++ b/frontend/classic/css/coq-base.css
@@ -452,7 +452,7 @@ body.jscoq-main .CodeMirror-linenumber {
  margin-top: 5px;
 }

-#buttons button {
+#buttons > button {
  background: none;
  border: none;
  width: 25px;
@@ -463,40 +463,63 @@ body.jscoq-main .CodeMirror-linenumber {
  transition: opacity 1s ease;
 }

-#buttons button:disabled {
+#buttons > button:disabled {
  opacity: 0.15;
  cursor: default;
 }

-#buttons button:active {
+#buttons > button:active {
  opacity: 0.8;
 }

-#buttons button:focus {
+#buttons > button:focus {
  outline: none;
  transition: none;
 }

-#buttons button[name=up] {
+#buttons > button[name=up] {
  background-image: url(../images/up.png);
  width: 20px;
  height: 20px;
 }
-#buttons button[name=down] {
+#buttons > button[name=down] {
  background-image: url(../images/down.png);
  width: 20px;
  height: 20px;
 }
-#buttons button[name=to-cursor] {
+#buttons > button[name=to-cursor] {
  background-image: url(../images/to-cursor.png);
 }
-#buttons button[name=interrupt] {
+#buttons > button[name=interrupt] {
  background-image: url(../images/stop.png);
 }
-#buttons button[name=reset] {
+#buttons > button[name=reset] {
  background-image: url(../images/reset.png);
 }

+#file-buttons > button {
+  background-color: #EA4C89;
+  border-style: none;
+  box-sizing: border-box;
+  color: #FFFFFF;
+  cursor: pointer;
+  display: inline-block;
+  list-style: none;
+  margin: 0;
+  outline: none;
+  position: relative;
+  text-align: center;
+  text-decoration: none;
+  transition: color 100ms;
+  vertical-align: baseline;
+  user-select: none;
+  touch-action: manipulation;
+}
+
+#file-buttons > button:hover,
+#file-buttons > button:focus {
+  background-color: #F082AC;
+}

 /* Proper  */


--- a/frontend/classic/css/coq-light.css
+++ b/frontend/classic/css/coq-light.css
@@ -84,6 +84,10 @@ body.jscoq-main #document {
  background: #f1f1f1;
 }

+.read-only {
+  outline:thick solid #FF7F7F;
+}
+
 .cm-s-default .CodeMirror-dialog {
  border-bottom: 1px solid #bbb;
  box-shadow: 0px 1px 5px 0px #00000059;

--- a/CodeMirror-TeX-input @ 698ba2e3
+++ b/CodeMirror-TeX-input @ 698ba2e3
-Subproject commit 698ba2e3e6364a92dc966a60a2242633fb0e2474
--- a/frontend/classic/external/CodeMirror-TeX-input/.gitignore
+++ b/frontend/classic/external/CodeMirror-TeX-input/.gitignore
+*~
--- a/frontend/classic/external/CodeMirror-TeX-input/LICENSE
+++ b/frontend/classic/external/CodeMirror-TeX-input/LICENSE
+TeX-style completion, written by Emilio J. Gallego Arias.
+
+Copyright (C) 2016 by Marijn Haverbeke <marijnh@gmail.com> and others
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
--- a/frontend/classic/external/CodeMirror-TeX-input/README.md
+++ b/frontend/classic/external/CodeMirror-TeX-input/README.md
+# TeX-style input for CodeMirror
+
+This addon provides a completion hint for CodeMirror which allows to
+use the backslash key `\` to compose Unicode characters in TeX style.
+
+It was inspired by Emacs' `qual-completion`, but it differs a bit on feeling.
+
+See a demo here:
+https://ejgallego.github.io/CodeMirror-TeX-input/demo/tex-input.html
+
+See also a demo of the Emacs mode here here: https://youtu.be/3hwUnhdKWiI?t=5m55s
+
+_Warning_: The project is in α-state :)
+
+## How to install
+
+Just include the `addon/hint/tex-input-hint.js` file.
+
+## TODO
+
+The mode pretty much works, we need:
+
+- Add a much larger Unicode table.
+- Add support for options, such that users can configure completion
+  on space, add new symbols to the table, etc...
--- a/frontend/classic/external/CodeMirror-TeX-input/addon/hint/tex-input-hint.js
+++ b/frontend/classic/external/CodeMirror-TeX-input/addon/hint/tex-input-hint.js
--- a/frontend/classic/external/CodeMirror-TeX-input/demo/tex-input.html
+++ b/frontend/classic/external/CodeMirror-TeX-input/demo/tex-input.html
--- a/frontend/classic/external/CodeMirror-TeX-input/doc/manual.html
+++ b/frontend/classic/external/CodeMirror-TeX-input/doc/manual.html
--- a/frontend/classic/external/CodeMirror-TeX-input/package.json
+++ b/frontend/classic/external/CodeMirror-TeX-input/package.json
--- a/frontend/classic/js/addon/collab/collab.css
+++ b/frontend/classic/js/addon/collab/collab.css
--- a/frontend/classic/js/addon/collab/gist.js
+++ b/frontend/classic/js/addon/collab/gist.js
--- a/frontend/classic/js/addon/collab/index.ts
+++ b/frontend/classic/js/addon/collab/index.ts
 import '../public-path';
 export { Hastebin } from './hastebin';
-export { CollabP2P } from './p2p';
+export { Gist } from './gist';
--- a/frontend/classic/js/addon/collab/p2p-chunk.js
+++ b/frontend/classic/js/addon/collab/p2p-chunk.js
-export { DocumentClient } from 'ronin-p2p/src/net/client-docs.js';
-export { SyncPad } from 'ronin-p2p/src/addons/syncpad/syncpad.js';
--- a/frontend/classic/js/addon/collab/p2p.ts
+++ b/frontend/classic/js/addon/collab/p2p.ts
--- a/frontend/classic/js/cm-provider-container.ts
+++ b/frontend/classic/js/cm-provider-container.ts
--- a/frontend/classic/js/cm-provider.ts
+++ b/frontend/classic/js/cm-provider.ts
No results found