Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • hamelin/jscoq-light
  • rousselin/jscoq-light
2 results
Show changes
Showing
with 3989 additions and 403 deletions
......@@ -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">
......
{
"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
}
{
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
];
})
];
};
});
}
......@@ -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 */
......
......@@ -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;
......
Subproject commit 698ba2e3e6364a92dc966a60a2242633fb0e2474
*~
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.
# 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...
This diff is collapsed.
This diff is collapsed.
import '../public-path';
export { Hastebin } from './hastebin';
export { CollabP2P } from './p2p';
export { Gist } from './gist';
export { DocumentClient } from 'ronin-p2p/src/net/client-docs.js';
export { SyncPad } from 'ronin-p2p/src/addons/syncpad/syncpad.js';
This diff is collapsed.
This diff is collapsed.