chiark / gitweb /
otter.git
3 years agoCargo.toml: Update all versions to 0.5.1 otter-0.5.1
Ian Jackson [Sun, 18 Apr 2021 23:42:06 +0000 (00:42 +0100)]
Cargo.toml: Update all versions to 0.5.1

Commit made automatically by update-versions.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomake-release: Fix git tag rune
Ian Jackson [Sun, 18 Apr 2021 23:41:53 +0000 (00:41 +0100)]
make-release: Fix git tag rune

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomake-release: Print commands we run due to --real
Ian Jackson [Sun, 18 Apr 2021 23:41:26 +0000 (00:41 +0100)]
make-release: Print commands we run due to --real

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-version: Commit the Cargo.lock too
Ian Jackson [Sun, 18 Apr 2021 23:40:58 +0000 (00:40 +0100)]
update-version: Commit the Cargo.lock too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Specify the slotmap version to placate cargo
Ian Jackson [Sun, 18 Apr 2021 23:40:12 +0000 (00:40 +0100)]
Cargo.toml: Specify the slotmap version to placate cargo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Update all versions to 0.5.0 otter-0.5.0
Ian Jackson [Sun, 18 Apr 2021 23:27:31 +0000 (00:27 +0100)]
Cargo.toml: Update all versions to 0.5.0

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomake-release: Suggest deploying on chiark
Ian Jackson [Sun, 18 Apr 2021 23:24:14 +0000 (00:24 +0100)]
make-release: Suggest deploying on chiark

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomake-release: Format finish message a bit better
Ian Jackson [Sun, 18 Apr 2021 22:57:32 +0000 (23:57 +0100)]
make-release: Format finish message a bit better

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoslotmap: Switch to our slotmap-fork-otter package
Ian Jackson [Sun, 18 Apr 2021 22:52:10 +0000 (23:52 +0100)]
slotmap: Switch to our slotmap-fork-otter package

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoNew utility script make-release
Ian Jackson [Sun, 18 Apr 2021 22:02:49 +0000 (23:02 +0100)]
New utility script make-release

We'll see if this one actually works, I guess...

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoREADME: Add References section
Ian Jackson [Sun, 18 Apr 2021 21:44:04 +0000 (22:44 +0100)]
README: Add References section

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-versions: Tidy some comments and indents
Ian Jackson [Sun, 18 Apr 2021 21:31:19 +0000 (22:31 +0100)]
update-versions: Tidy some comments and indents

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-versions: New approach to lockfile
Ian Jackson [Sun, 18 Apr 2021 21:19:02 +0000 (22:19 +0100)]
update-versions: New approach to lockfile

Well.  We want to update the versions.  We can do that surgically
with seddery.  If the format doesn't change much this will continue to
work :-).

We could edit the file with a TOML reader/writer but that would be
very very noisy.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-versions: Update in dependencies too
Ian Jackson [Sun, 18 Apr 2021 21:04:25 +0000 (22:04 +0100)]
update-versions: Update in dependencies too

This should help with publication I think.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-versions: Do a better thing about the lockfile
Ian Jackson [Sun, 18 Apr 2021 20:59:36 +0000 (21:59 +0100)]
update-versions: Do a better thing about the lockfile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-versions: Print a message about the lockfile
Ian Jackson [Sun, 18 Apr 2021 20:57:42 +0000 (21:57 +0100)]
update-versions: Print a message about the lockfile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-versions: Prep for adding version deps for our workspace
Ian Jackson [Sun, 18 Apr 2021 20:53:25 +0000 (21:53 +0100)]
update-versions: Prep for adding version deps for our workspace

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Remove a comma that cargo hates
Ian Jackson [Sun, 18 Apr 2021 20:51:38 +0000 (21:51 +0100)]
Cargo.toml: Remove a comma that cargo hates

We only notice this if running non-nailed...

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: base: Remove some spaces
Ian Jackson [Sun, 18 Apr 2021 20:17:52 +0000 (21:17 +0100)]
Cargo.toml: base: Remove some spaces

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Add many metadata fields (and synch. versions)
Ian Jackson [Sun, 18 Apr 2021 20:07:29 +0000 (21:07 +0100)]
Cargo.toml: Add many metadata fields (and synch. versions)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-cargo-metadata: New maintenance script
Ian Jackson [Sun, 18 Apr 2021 20:33:41 +0000 (21:33 +0100)]
update-cargo-metadata: New maintenance script

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoupdate-version: New maintenance script
Ian Jackson [Sun, 18 Apr 2021 18:26:20 +0000 (19:26 +0100)]
update-version: New maintenance script

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Prettify layout etc.
Ian Jackson [Sun, 18 Apr 2021 18:26:14 +0000 (19:26 +0100)]
Cargo.toml: Prettify layout etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Prettify layout etc.
Ian Jackson [Sun, 18 Apr 2021 18:18:52 +0000 (19:18 +0100)]
Cargo.toml: Prettify layout etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Prettify layout etc.
Ian Jackson [Sun, 18 Apr 2021 18:16:11 +0000 (19:16 +0100)]
Cargo.toml: Prettify layout etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Prettify layout
Ian Jackson [Sun, 18 Apr 2021 18:13:58 +0000 (19:13 +0100)]
Cargo.toml: Prettify layout

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoCargo.toml: Move main metadata to top
Ian Jackson [Sun, 18 Apr 2021 18:09:49 +0000 (19:09 +0100)]
Cargo.toml: Move main metadata to top

I think taking some nailed version may be responsible for this.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: "push": Change default branch to "main"
Ian Jackson [Sun, 18 Apr 2021 17:26:25 +0000 (18:26 +0100)]
Makefile: "push": Change default branch to "main"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Fix docs about test dependencies
Ian Jackson [Fri, 16 Apr 2021 17:39:00 +0000 (18:39 +0100)]
docs: Fix docs about test dependencies

Reduce duplication and clarify.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Fix filenames for spec files
Ian Jackson [Wed, 14 Apr 2021 23:30:54 +0000 (00:30 +0100)]
docs: Fix filenames for spec files

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: user: landscape: Redo for deck description bugfix
Ian Jackson [Fri, 16 Apr 2021 17:18:03 +0000 (18:18 +0100)]
docs: user: landscape: Redo for deck description bugfix

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Add missing doc on pngs in docs
Ian Jackson [Fri, 16 Apr 2021 17:17:31 +0000 (18:17 +0100)]
Makefile: Add missing doc on pngs in docs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodeck: Fix description of counting play piles
Ian Jackson [Fri, 16 Apr 2021 16:50:21 +0000 (17:50 +0100)]
deck: Fix description of counting play piles

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: user: Swap portrait and landscape
Ian Jackson [Fri, 16 Apr 2021 16:48:20 +0000 (17:48 +0100)]
docs: user: Swap portrait and landscape

Portrait is the default.  Portrait fits better on the page.
Penultima is prettier, which is why I just replace landscape.png
rather than portrait.png.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoscreenshots: Replace landscape.png with Mao
Ian Jackson [Fri, 16 Apr 2021 16:46:19 +0000 (17:46 +0100)]
screenshots: Replace landscape.png with Mao

Manually grabbed after manual play setup.

Suggested-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Record that we tested bullseye too
Ian Jackson [Fri, 16 Apr 2021 16:15:35 +0000 (17:15 +0100)]
docs: Record that we tested bullseye too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: build: Update disk space requirement
Ian Jackson [Fri, 16 Apr 2021 16:00:15 +0000 (17:00 +0100)]
docs: build: Update disk space requirement

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Quieten inkscape message by default
Ian Jackson [Fri, 16 Apr 2021 16:00:07 +0000 (17:00 +0100)]
Makefile: Quieten inkscape message by default

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: build: Fix formatting of test deps
Ian Jackson [Fri, 16 Apr 2021 15:57:17 +0000 (16:57 +0100)]
docs: build: Fix formatting of test deps

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: build: Add firefox-esr to test deps
Ian Jackson [Fri, 16 Apr 2021 15:55:43 +0000 (16:55 +0100)]
docs: build: Add firefox-esr to test deps

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: build: Split deps into build and test deps
Ian Jackson [Fri, 16 Apr 2021 15:55:25 +0000 (16:55 +0100)]
docs: build: Split deps into build and test deps

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Add xvfb to build deps
Ian Jackson [Fri, 16 Apr 2021 15:51:11 +0000 (16:51 +0100)]
docs: Add xvfb to build deps

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Add moreutils to build deps (needed for `ts`)
Ian Jackson [Fri, 16 Apr 2021 15:47:12 +0000 (16:47 +0100)]
docs: Add moreutils to build deps (needed for `ts`)

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agotsc-wrap: Support tsc version 4.x which has its own webassembly-types
Ian Jackson [Fri, 16 Apr 2021 15:42:19 +0000 (16:42 +0100)]
tsc-wrap: Support tsc version 4.x which has its own webassembly-types

Empirically, on Debian bullseye, these are in "dom"

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Fix two errors reported by ts 4.x
Ian Jackson [Fri, 16 Apr 2021 15:36:54 +0000 (16:36 +0100)]
js: Fix two errors reported by ts 4.x

templates/script.ts:898:7: error TS7034: Variable 'held' implicitly has type 'any' in some locations where its type cannot be determined.

templates/script.ts:954:32: error TS7005: Variable 'held' implicitly has an 'any' type.

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agowikimedia: Put # in front of hex colour names
Ian Jackson [Fri, 16 Apr 2021 15:29:56 +0000 (16:29 +0100)]
wikimedia: Put # in front of hex colour names

Newer inkscape hates them otherwise.

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomedia-scraper: Tolerate recolourings from/to #....
Ian Jackson [Fri, 16 Apr 2021 15:31:58 +0000 (16:31 +0100)]
media-scraper: Tolerate recolourings from/to #....

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agorun-inkscape-extension: Fix typo
Ian Jackson [Fri, 16 Apr 2021 15:17:45 +0000 (16:17 +0100)]
run-inkscape-extension: Fix typo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Try flailing for inkscape extension python fail
Ian Jackson [Fri, 16 Apr 2021 15:15:43 +0000 (16:15 +0100)]
Makefile: Try flailing for inkscape extension python fail

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Remove spurious #!
Ian Jackson [Fri, 16 Apr 2021 15:07:36 +0000 (16:07 +0100)]
Makefile: Remove spurious #!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Go back to use of $(INKSCAPE)
Ian Jackson [Fri, 16 Apr 2021 14:55:07 +0000 (15:55 +0100)]
Makefile: Go back to use of $(INKSCAPE)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Tolerate inkscape flail
Ian Jackson [Fri, 16 Apr 2021 14:52:50 +0000 (15:52 +0100)]
Makefile: Tolerate inkscape flail

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: build: Add potrace to build-deps
Ian Jackson [Fri, 16 Apr 2021 14:31:26 +0000 (15:31 +0100)]
docs: build: Add potrace to build-deps

Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Provide published branch
Ian Jackson [Thu, 15 Apr 2021 14:27:36 +0000 (15:27 +0100)]
docs: Provide published branch

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Provide publish target
Ian Jackson [Thu, 15 Apr 2021 14:26:41 +0000 (15:26 +0100)]
docs: Provide publish target

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Change doc-sphinx target name
Ian Jackson [Thu, 15 Apr 2021 14:21:17 +0000 (15:21 +0100)]
docs: Change doc-sphinx target name

The old name was just too confusing and anomalous.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs build: Document tsc requirement (insofar as we know)
Ian Jackson [Thu, 15 Apr 2021 13:17:08 +0000 (14:17 +0100)]
docs build: Document tsc requirement (insofar as we know)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: user: Include annotation of game name in --reset-table
Ian Jackson [Wed, 14 Apr 2021 22:57:08 +0000 (23:57 +0100)]
docs: user: Include annotation of game name in --reset-table

Suggested-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: Change sphinx theme to classic
Ian Jackson [Wed, 14 Apr 2021 22:52:06 +0000 (23:52 +0100)]
docs: Change sphinx theme to classic

This seems to make navigation a bit easier.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: user: include screenshots
Ian Jackson [Wed, 14 Apr 2021 22:44:18 +0000 (23:44 +0100)]
docs: user: include screenshots

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodocs: user: convert to rst
Ian Jackson [Wed, 14 Apr 2021 22:39:29 +0000 (23:39 +0100)]
docs: user: convert to rst

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoscreenshots: Add screenshot files, manually grabbed
Ian Jackson [Wed, 14 Apr 2021 22:32:57 +0000 (23:32 +0100)]
screenshots: Add screenshot files, manually grabbed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agobuild: Recommend using `&& echo it worked` to work around make
Ian Jackson [Wed, 14 Apr 2021 21:50:51 +0000 (22:50 +0100)]
build: Recommend using `&& echo it worked` to work around make

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agobuild: Fix a build race involving target/bundled-sources
Ian Jackson [Wed, 14 Apr 2021 21:47:37 +0000 (22:47 +0100)]
build: Fix a build race involving target/bundled-sources

Symptoms:
  cp: cannot create regular file '/home/user/otter/target/bundled-sources/README.md': No such file or directory

Reported-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomailmap: Add an entry as requested by the data subject
Ian Jackson [Wed, 14 Apr 2021 20:42:47 +0000 (21:42 +0100)]
mailmap: Add an entry as requested by the data subject

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Show different texts for tests and full tests
Ian Jackson [Wed, 14 Apr 2021 16:13:00 +0000 (17:13 +0100)]
Makefile: Show different texts for tests and full tests

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Use --target, not -T, for deploy arch
Ian Jackson [Wed, 14 Apr 2021 16:03:03 +0000 (17:03 +0100)]
Makefile: Use --target, not -T, for deploy arch

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agocargo: update thirtyfour_sync to latest
Ian Jackson [Wed, 14 Apr 2021 15:57:03 +0000 (16:57 +0100)]
cargo: update thirtyfour_sync to latest

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agocargo: update ndarray to latest
Ian Jackson [Wed, 14 Apr 2021 15:54:18 +0000 (16:54 +0100)]
cargo: update ndarray to latest

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agocargo: update enum-map to latest
Ian Jackson [Wed, 14 Apr 2021 15:51:37 +0000 (16:51 +0100)]
cargo: update enum-map to latest

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agocargo: update usvg to 0.13.1
Ian Jackson [Wed, 14 Apr 2021 15:48:14 +0000 (16:48 +0100)]
cargo: update usvg to 0.13.1

We can't use 0.14 because its command line parser is broken:
  https://github.com/RazrFalcon/resvg/issues/374

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agocargo update
Ian Jackson [Wed, 14 Apr 2021 15:14:14 +0000 (16:14 +0100)]
cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Do various additional builds during full-check
Ian Jackson [Wed, 14 Apr 2021 15:19:37 +0000 (16:19 +0100)]
Makefile: Do various additional builds during full-check

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agobuild: build-depend on, and build our own, usvg and bundle-sources
Ian Jackson [Wed, 14 Apr 2021 15:11:57 +0000 (16:11 +0100)]
build: build-depend on, and build our own, usvg and bundle-sources

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agocargo: Add dependencies for usvg and bundle-sources
Ian Jackson [Wed, 14 Apr 2021 14:53:04 +0000 (15:53 +0100)]
cargo: Add dependencies for usvg and bundle-sources

And unnail bundle-sources

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agoMakefile: Add more tests to full-check
Ian Jackson [Wed, 14 Apr 2021 15:31:46 +0000 (16:31 +0100)]
Makefile: Add more tests to full-check

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agovpid, miri: Disable the check fn too
Ian Jackson [Wed, 14 Apr 2021 15:31:27 +0000 (16:31 +0100)]
vpid, miri: Disable the check fn too

This is then unused and produces a warning.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agovpid, miri: Disable the exhaustive test under miri
Ian Jackson [Wed, 14 Apr 2021 15:22:54 +0000 (16:22 +0100)]
vpid, miri: Disable the exhaustive test under miri

It is quite slow.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agomedia-scraper: Include a USVG_DEP in appropriate depenndencies
Ian Jackson [Wed, 14 Apr 2021 15:00:00 +0000 (16:00 +0100)]
media-scraper: Include a USVG_DEP in appropriate depenndencies

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agorust version: Fix to use min_type_alias_impl_trait
Ian Jackson [Wed, 14 Apr 2021 01:17:32 +0000 (02:17 +0100)]
rust version: Fix to use min_type_alias_impl_trait

This was split off since I last updated.

Reported-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: cancel special selection which clicking on background, etc.
Ian Jackson [Wed, 14 Apr 2021 00:39:52 +0000 (01:39 +0100)]
js: cancel special selection which clicking on background, etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodrag select: cancel selection indication properly
Ian Jackson [Wed, 14 Apr 2021 00:28:17 +0000 (01:28 +0100)]
drag select: cancel selection indication properly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodrag select: drag, make less funky
Ian Jackson [Wed, 14 Apr 2021 00:27:11 +0000 (01:27 +0100)]
drag select: drag, make less funky

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodrag box: Fix box to be a box, still rather funky
Ian Jackson [Wed, 14 Apr 2021 00:22:20 +0000 (01:22 +0100)]
drag box: Fix box to be a box, still rather funky

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodrag box: Fix line aesthetics
Ian Jackson [Wed, 14 Apr 2021 00:13:20 +0000 (01:13 +0100)]
drag box: Fix line aesthetics

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodrag select: half working, display is odd
Ian Jackson [Wed, 14 Apr 2021 00:34:30 +0000 (01:34 +0100)]
drag select: half working, display is odd

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodrag: Provide movehist_end in template
Ian Jackson [Wed, 7 Apr 2021 18:53:10 +0000 (19:53 +0100)]
drag: Provide movehist_end in template

We're going to want to put things between this and static_defs.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Break out ungrab_clicked
Ian Jackson [Tue, 13 Apr 2021 23:44:43 +0000 (00:44 +0100)]
js: Break out ungrab_clicked

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodev: Fix a reference to zcoord
Ian Jackson [Tue, 13 Apr 2021 18:52:29 +0000 (19:52 +0100)]
dev: Fix a reference to zcoord

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agodoc: Document "1" to select 1 not-necessarily-topmost
Ian Jackson [Tue, 13 Apr 2021 23:30:25 +0000 (00:30 +0100)]
doc: Document "1" to select 1 not-necessarily-topmost

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Handle first shift selection of count correctly
Ian Jackson [Tue, 13 Apr 2021 23:28:42 +0000 (00:28 +0100)]
js: Handle first shift selection of count correctly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Fix shift counted select to only add
Ian Jackson [Tue, 13 Apr 2021 23:21:46 +0000 (00:21 +0100)]
js: Fix shift counted select to only add

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Rework drag spread
Ian Jackson [Tue, 13 Apr 2021 23:15:14 +0000 (00:15 +0100)]
js: Rework drag spread

Now it is coherent

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Do grab before drag
Ian Jackson [Tue, 13 Apr 2021 22:42:24 +0000 (23:42 +0100)]
js: Do grab before drag

This is more consistent and will enable better refactoring

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Properly handle shift-click deselection
Ian Jackson [Tue, 13 Apr 2021 22:41:22 +0000 (23:41 +0100)]
js: Properly handle shift-click deselection

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Sort out allow_for_deselect
Ian Jackson [Tue, 13 Apr 2021 22:24:53 +0000 (23:24 +0100)]
js: Sort out allow_for_deselect

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Handle (counted) (de)selection better
Ian Jackson [Tue, 13 Apr 2021 20:16:27 +0000 (21:16 +0100)]
js: Handle (counted) (de)selection better

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Break out inner function is_already()
Ian Jackson [Tue, 13 Apr 2021 20:15:22 +0000 (21:15 +0100)]
js: Break out inner function is_already()

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Skip already-selected pieces for deselection in counted selection
Ian Jackson [Tue, 13 Apr 2021 20:06:39 +0000 (21:06 +0100)]
js: Skip already-selected pieces for deselection in counted selection

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
3 years agojs: Provide ungrab_all_except (and PieceSet)
Ian Jackson [Tue, 13 Apr 2021 20:05:50 +0000 (21:05 +0100)]
js: Provide ungrab_all_except (and PieceSet)

Nothing calls the new function yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>