- Jun 28, 2022
-
-
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>
-
- Jun 26, 2022
-
-
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>
-
- Jun 24, 2022
-
-
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>
-
- Jun 23, 2022
-
-
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>
-
- Jun 21, 2022
-
-
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>
-
- Jun 19, 2022
-
-
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>
-
- Jun 13, 2022
-
-
Ian Jackson authored
Signed-off-by:
Ian Jackson <ijackson@chiark.greenend.org.uk>
-