- 28 Jun, 2022 2 commits
-
-
Ian Jackson authored
Some versions of inkscape don't like the "unknown colour keyword". Add a (random) alpha channel to make clashes less likely. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
This is the section for WASM, which is always needed for Otter, but miri is only for tests (and indeed this is mentioned later). Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-
- 26 Jun, 2022 11 commits
-
-
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
This makes cargo publish slow! Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
We'll need this in a moment. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Commit made automatically by update-versions. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Apparently Chromium handles default behaviour of mouse events differently, and we need to suppress it like this. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-
- 24 Jun, 2022 2 commits
-
-
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-
- 23 Jun, 2022 5 commits
-
-
Ian Jackson authored
Commit made automatically by update-versions. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-
- 21 Jun, 2022 4 commits
-
-
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Previously, we ad-hoc open-coded: delem.innerHTML = info.svg p.pelem = pelem, p.uos = info.uos; piece_resolve_special(piece, p); but this forgot: p.bbox = info.bbox; p.desc = info.desc; Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-
- 19 Jun, 2022 15 commits
-
-
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Calculate this when the mouse goes down. That is more correct. Also we're going to want to add another case. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
We want to save it. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
We're going to reuse this. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
We're going to reuse this. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
We're going to change wresting in another place. Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk> -
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-
- 13 Jun, 2022 1 commit
-
-
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-