chiark / gitweb /
Ian Jackson [Sun, 4 Oct 2020 15:40:27 +0000 (16:40 +0100)]
wip bigfloat Rust
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 14:23:50 +0000 (15:23 +0100)]
wip new bigfloats, Rust end
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 14:22:52 +0000 (15:22 +0100)]
wip new bigfloats, debugged quite a lot
x= '!0000 ffff_ffff_fff0'; y= '+0000 0000_0000_0001'; i=Bigfloats.iter_upto(x, y, 4); i()
=> "!0000 ffff_0000_fff3"
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 13:21:00 +0000 (14:21 +0100)]
wip new bigfloats
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 10:43:09 +0000 (11:43 +0100)]
wip notes about repr
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 10:21:51 +0000 (11:21 +0100)]
wip iter-index, before change repr
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 01:19:31 +0000 (02:19 +0100)]
seems to work ??
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 01:07:07 +0000 (02:07 +0100)]
wip bigfloat bugfixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 00:18:44 +0000 (01:18 +0100)]
wip bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 00:06:15 +0000 (01:06 +0100)]
wip, debugging bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 23:24:26 +0000 (00:24 +0100)]
wip bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 19:32:33 +0000 (20:32 +0100)]
before try out bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 11:06:51 +0000 (12:06 +0100)]
fix a funny style
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 11:00:50 +0000 (12:00 +0100)]
Revert "piece_set_zlevel: provide oldbot_piece"
This was for "lower" but actually this wants to be more
complicated.
This reverts commit
d57aa1a27fcfb65d12580a786af6193f0c8d6b4c.
Ian Jackson [Sat, 3 Oct 2020 10:56:26 +0000 (11:56 +0100)]
note a bug as a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 10:56:04 +0000 (11:56 +0100)]
piece_set_zlevel: provide oldbot_piece
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 10:46:45 +0000 (11:46 +0100)]
show gen as G in keepalives
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 10:46:29 +0000 (11:46 +0100)]
cleanups for wresting/pinning
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:46:48 +0000 (01:46 +0100)]
can unselect pinned piece
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:45:08 +0000 (01:45 +0100)]
many todos done
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:44:02 +0000 (01:44 +0100)]
wrest and unwrest
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:41:29 +0000 (01:41 +0100)]
can pin and it works!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:39:22 +0000 (01:39 +0100)]
can pin
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:23:27 +0000 (01:23 +0100)]
wip fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:21:37 +0000 (01:21 +0100)]
fix flexbox thing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:18:24 +0000 (01:18 +0100)]
wip reformatting uokeys
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:35:30 +0000 (00:35 +0100)]
wip pinning
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:24:17 +0000 (00:24 +0100)]
use fehler here
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:23:50 +0000 (00:23 +0100)]
implement pin op
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:17:16 +0000 (00:17 +0100)]
pin flag, propagate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:12:01 +0000 (00:12 +0100)]
wresting works
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:43:48 +0000 (23:43 +0100)]
signal wresting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:25:27 +0000 (23:25 +0100)]
docs for mouse
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:21:25 +0000 (23:21 +0100)]
mouse stuff
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:11:18 +0000 (23:11 +0100)]
make piece held check overrideable
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:06:18 +0000 (23:06 +0100)]
ignore .tmp so usvg-processor doesn't see its own output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:01:27 +0000 (23:01 +0100)]
include git revision in usvg note
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 21:53:33 +0000 (22:53 +0100)]
wip copyright stuff
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 21:15:25 +0000 (22:15 +0100)]
wip licence annotations
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 1 Oct 2020 00:46:02 +0000 (01:46 +0100)]
flipping works!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 1 Oct 2020 00:00:05 +0000 (01:00 +0100)]
move lower into ts
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 23:38:26 +0000 (00:38 +0100)]
wip keys
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 23:22:00 +0000 (00:22 +0100)]
ok notices key now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 23:11:26 +0000 (00:11 +0100)]
wip key events
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:45:27 +0000 (23:45 +0100)]
Add wrc basic copying
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:40:15 +0000 (23:40 +0100)]
add wrc to piece op api
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:19:00 +0000 (23:19 +0100)]
refactor WRC handling
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:14:40 +0000 (23:14 +0100)]
change type of IsResponseToClientOp
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 21:59:28 +0000 (22:59 +0100)]
New update messages for different kinds of update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 19:11:15 +0000 (20:11 +0100)]
wip keybindings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 18:19:58 +0000 (19:19 +0100)]
wip keybindings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 29 Sep 2020 20:20:24 +0000 (21:20 +0100)]
Introduce UoKind
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 28 Sep 2020 23:24:19 +0000 (00:24 +0100)]
enable new sse feature for rocket
See https://github.com/SergioBenitez/Rocket/pull/1365
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 28 Sep 2020 23:23:40 +0000 (00:23 +0100)]
cargo update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:42:13 +0000 (00:42 +0100)]
uos in session start
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:33:11 +0000 (00:33 +0100)]
a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:27:42 +0000 (00:27 +0100)]
Abolish svg_x_defs
This is useless, because basically all modifications have to send the
whole thing again anyway. Maybe in the far far future we will
(re)introduce something like it.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:26:47 +0000 (00:26 +0100)]
honour flip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 22:45:32 +0000 (23:45 +0100)]
new UI operations arrangements
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 21:57:05 +0000 (22:57 +0100)]
UI operations, before redo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 21:56:19 +0000 (22:56 +0100)]
Prep for flip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 19:55:30 +0000 (20:55 +0100)]
chess-board: Fix fonts
Use a combination of inkscape and emacs to sort the fonts out.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 19:54:51 +0000 (20:54 +0100)]
usvg processing: Provide a --sans-serif-family argument
The default is "Arial" which is no good because it's proprietary.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 19:54:36 +0000 (20:54 +0100)]
usvg processing: Add dependency on Makefile
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:19:00 +0000 (19:19 +0100)]
Adjust chessboard size
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:15:15 +0000 (19:15 +0100)]
Provide metadata for edited
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:15:05 +0000 (19:15 +0100)]
media-scraper: Provide "none" method
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:14:53 +0000 (19:14 +0100)]
media-scraper: Handle a scraper which doesn't want to edit LICENCE
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:14:32 +0000 (19:14 +0100)]
media-scraper: Drop a useless vestige
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:13:47 +0000 (19:13 +0100)]
rename chess-board from downloaded filenames
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:02:28 +0000 (19:02 +0100)]
Delete the actual pieces from the chessboard svg
We want an actually blank board!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 18:01:56 +0000 (19:01 +0100)]
Have media-scraper put a do not edit note into LICENCE
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 17:58:11 +0000 (18:58 +0100)]
add LICENCE file for edited/ directory
This fill will be maintained manually
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 17:52:58 +0000 (18:52 +0100)]
download a chessboard starting point
wget https://upload.wikimedia.org/wikipedia/commons/a/a7/Chess_board_blank.svg?action=raw
wget https://commons.wikimedia.org/wiki/File:Chess_board_blank.svg'?action=raw'
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 17:41:19 +0000 (18:41 +0100)]
fix debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 17:34:04 +0000 (18:34 +0100)]
working lib layout algorithm
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 16:45:44 +0000 (17:45 +0100)]
refactor layout algorithm to allow clash avoidance
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 16:14:50 +0000 (17:14 +0100)]
refactor layout algorithm to allow clash avoidance
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 16:11:26 +0000 (17:11 +0100)]
fix layout algorithm
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 16:11:19 +0000 (17:11 +0100)]
fix the white knight
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 16:04:33 +0000 (17:04 +0100)]
shape library adding wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 15:55:39 +0000 (16:55 +0100)]
fix layout algorithm
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 15:54:46 +0000 (16:54 +0100)]
library addition wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 15:34:04 +0000 (16:34 +0100)]
library list
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 15:23:07 +0000 (16:23 +0100)]
wip library-add
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 15:11:21 +0000 (16:11 +0100)]
make Pos a struct
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 13:04:08 +0000 (14:04 +0100)]
centralise facilitator
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:55:48 +0000 (13:55 +0100)]
common library args
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:55:37 +0000 (13:55 +0100)]
fix typo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:39:14 +0000 (13:39 +0100)]
break out list_items
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:36:57 +0000 (13:36 +0100)]
library list
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:31:20 +0000 (13:31 +0100)]
fix library list parsing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:29:59 +0000 (13:29 +0100)]
library list
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 12:06:59 +0000 (13:06 +0100)]
list glob
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 11:35:55 +0000 (12:35 +0100)]
tidy rental
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 11:29:06 +0000 (12:29 +0100)]
try rental for lib load guard, nice
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 10:51:00 +0000 (11:51 +0100)]
try rental for lib load guard
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 10:38:17 +0000 (11:38 +0100)]
wip list_glob
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 03:01:14 +0000 (04:01 +0100)]
wip bbox_approx
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 02:57:35 +0000 (03:57 +0100)]
make SimpleShape use dyn Outline
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log