shithub: puzzles

712abb77 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/12 16:09

Add an assertion that all colours are within range

43bea5f6 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/12 15:17

mkhighlight: Don't darken the base colour if we don't need a highlight

676ec87b – Simon Tatham <anakin@pobox.com> authored on 2022/12/11 13:48

Pearl: make PEARL_GUI_LOOPY affect printed output.

3150d728 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/24 11:37

js: When opening a dialogue box, try to focus it

ebb7b427 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/10 14:05

js: Don't treat SoftRight as CURSOR_SELECT2

9bcb06ee – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/10 13:22

js: Add a mode where the puzzle tries to fill the viewport

33b5c484 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/29 17:45

js: Add a new function whereby C can ask JS for a preferred board size

14eb35da – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/10 12:49

js: Set the default colour from the CSS background of the canvas

02f1d55a – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 09:02

js: Allow CSS to set the font used by the puzzle

a3310ab8 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/04 20:13

New backend function: current_key_label()

1d91522b – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/08 08:24

tracks: Allow a smaller or non-existent border at small tile sizes

0d36b471 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/08 06:41

tracks: Make the keyboard cursor more visible

0b036c9e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/07 13:43

galaxies: Use the same code for handling all dropped arrows

09f2052f – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 19:18

guess: Much more efficient keyboard interface

14b434cb – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 19:17

guess: Move the cursor to the first peg position after a guess

a8df0189 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 19:16

guess: Correct documentation to not say Space places a peg

7d61c4ce – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 16:47

js: Explicitly set the height of the status bar

69eca65e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 08:34

Assert that the back-end has provided a background colour

202b7467 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 08:25

Devel docs: explain the specialness of colour 0

3e072dff – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/06 08:06

Devel docs: Mention mid-end background clearing

9afdd4cc – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 18:16

guess: Fix keyboard access to hold function

ea223a23 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 14:34

js: Put the puzzle background colour in a CSS variable

e5b0bcae – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 08:45

mosaic: Don't bother initialising fields in decode_ui()

493d2fb1 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 07:49

Devel docs: make it clear that decode_ui() gets a new game_ui

8d81c181 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 06:53

lightup: Remove tests for keystrokes canonicalised by mid-end

f8ed76f8 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/03 18:51

js: Bypass our own dialogue box when loading

db5d3bf1 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/03 10:29

js: Remove align=center from main <div> and make it a <main>

83b504af – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/03 08:54

js: Remove a layer of <div> from the HTML page

9cb0abb5 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/05 09:01

js: Specify a font for the puzzle canvas in CSS

b04a2cba – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/03 04:59

js: Correct a comment describing timer_callback

d3ef8e65 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/02 18:55

js: Simplify drawing context management

f0d47053 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/29 18:44

js: Switch to using the resize handle in the HTML

2522dd24 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/02 18:18

js: Don't bother resizing offscreen canvas at startup

85dabc1e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/02 17:01

js: Improve comment explaining same-origin policy for file:

acd1f451 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/29 18:40

js: Add an SVG resize handle to the HTML

66a92792 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/12/01 21:10

js: Remove a JavaScript construct that confused emcc -O3

2b5a4a06 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/30 08:10

Document how Enter and Space are handled in the mid-end

dbb2d2ad – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/29 18:34

js: Allow for putting a resize handle in HTML

1611a5e0 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/29 16:13

Developer doc correction: list.c is not generated by Perl any more

b967a3ea – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/20 14:04

js: Remove support for creating the status bar in JavaScript

e8cdac58 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/28 17:49

js: Don't word-wrap the status bar

4be221ba – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/27 14:52

Update current-as-of commit ID in developer docs

c6e312b2 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/25 19:04

js: Remove "width" and "height" attributes from HTML <canvas>

19540d2e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/26 03:55

js: Hide menus and resize handle when printing

115edab4 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/25 14:13

js: Remove alpha channel from almost all our canvases

a6a79972 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/25 13:42

js: Correct co-ordinate-mapping function for what CSS actually does

d90c0a9e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/25 13:04

flip: Set a lower bound on the size of little diagrams

0b36c016 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/25 08:29

mines: Ensure highlights don't vanish at small tile sizes

5a2ea91c – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/24 18:28

js: Subtle extra padding for menus

38e17eba – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/24 16:03

js: If the HTML contains a dialogue-box form, delete it

36c9062c – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/24 13:26

js: Disable menu keyboard controls when dialogue box is active

271fb7f4 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/24 11:13

js: More conventional marking of menu item types

fe29d1cb – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/20 13:51

js: Replace status-bar holder in HTML with status bar itself

b5ccb0c9 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/23 17:27

js: Add actions for more keys in menus

e7927036 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/15 17:17

js: Move global keyboard handler to capturing phase

2d439dd0 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/19 11:30

js: Move focus-tracking to entirely "focus" events

8445f078 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/14 17:16

js: Replace :focus-within with JS-maintained .focus-within

52cd5804 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 18:39

js: Add keyboard navigation for menus

b1b2da98 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/23 16:28

Mid-move icon for Cube

96cda05b – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/23 09:34

Add missing dependency of screenshots on their save files

fffeae95 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/13 12:56

nullgame: Don't bother blanking the puzzle window

8f46f437 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/13 12:26

gtk: Fix a missing "const" qualifier when building with GTK 2

25803916 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/21 19:56

Fix mid-move icons

434e6a43 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/21 09:59

js: When removing the status bar, null out its variable

f7557852 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/21 09:55

js: Tiny comment fix

77c8b508 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/20 13:01

js: Allow status bar to be present in the HTML

f86623bb – Simon Tatham <anakin@pobox.com> authored on 2022/11/18 17:19

Palisade: scale line thickness unboundedly with tile size.

10bd3aeb – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/18 09:40

pearl: Return NULL when Backspace or Escape does nothing

51b496e1 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/17 19:11

mines: Grammar fix in instructions

7e19d6f4 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/16 04:27

Document new new undo/redo keys

5157a185 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/15 18:33

Extra key mappings: '*' to undo and '#' to redo

1b3a6bd2 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/15 17:04

js: Create the puzzle resize handle only if the puzzle is resizable

29861540 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/15 18:00

js: Insert a space in game-type submenu headings as well

ff406d4e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/14 20:31

js: Convert space after tick in menus to a space character

a55c0c18 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/14 20:06

js: Use -moz-appearance and -webkit-appearance

a90bb4a4 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/13 09:05

js: Better handling of games without presets and/or solve

5a225bf5 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 19:15

js: Substantially simplify timer code

5a90dd93 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 12:21

js: Give keyboard focus to the puzzle canvas at startup again

8ef28a4f – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 10:32

js: Remove class="text/css" from <style> element

208e2508 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 10:03

js: Add a way to have environment variables

4e3bb8f2 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 07:18

js: Use <li role="separator"> in place of <li class="separator">

a9c783ed – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 07:07

js: Label all form controls and put controls inside labels

8f40128f – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 06:22

js: Prettify menu HTML

27d41e7c – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/12 05:37

js: Simplify menu CSS a little

60d2bf59 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/18 05:38

js: Convert menus to use semantically appropriate HTML elements

22c4cad5 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/10 17:46

Correct a comment: draw_rect_outline() uses draw_polygon()

73f4edb0 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/10 09:14

Remove setting of indent-tabs-mode from filling.c

2a025477 – Simon Tatham <anakin@pobox.com> authored on 2022/11/10 07:37

Remove a couple of unused variables.

00e4d79d – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/09 19:40

js: Enable STRICT_JS in Emscripten

21157990 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/09 19:13

js: Add various missing variable declarations

f7957d3a – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/09 18:44

js: Reinstate a missing variable declaration

7982002a – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/26 06:05

js: Switch to window.requestAnimationFrame() for timing

c5a2446f – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/05 13:15

js: Cancel UI events when the mid end says they've been handled

4a37f7cf – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/05 12:05

Add a way for midend_process_key() to report whether it handled a keypress

4fdcc549 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/05 13:39

js: Make SoftRight act as CURSOR_SELECT2 as well

ee5b02b0 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/02 18:22

js: Map the "SoftLeft" key to CURSOR_SELECT2

ad9ee5a5 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/07 18:02

js: Move much of the handling of device pixel ratios to the mid-end

e45cd43a – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/07 16:42

Teach the mid-end about device pixel ratios

fba22f04 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/07 18:05

js: Make update_pixel_ratio() more robust

289342ec – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/11/01 05:23

js: Adjust z-indices of sub-menus and resize handle