shithub: puzzles

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

06f6e878 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/29 07:58

js: Tolerate the non-existence of some HTML elements

ea4ba476 – Simon Tatham <anakin@pobox.com> authored on 2022/10/28 18:35

Loopy: adjust clip rectangle for new line thickness.

ebb079ec – Simon Tatham <anakin@pobox.com> authored on 2022/10/28 17:32

Loopy: make line thicknesses scale with the canvas.

1e8169ea – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/27 18:37

js: Take device pixel ratio into account when setting default size

fa58dd85 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/27 10:30

js: Distinguish manual resizes from device pixel ratio changes

9783bbfb – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/27 07:27

js: Split setting nominal and actual canvas size

532d6627 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/27 06:12

js: Very bad attempt at making puzzles change size when zooming

5af0cd4a – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/26 18:49

js: Add a CMake variable to control whether Emscripten emits WASM

6f5debe4 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/26 17:17

js: Make update_pixel_ratio more backward-compatible

7354790c – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/25 21:32

js: Use String.replace() in place of .replaceAll()

5fae5ca0 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/25 16:38

js: Be more subtle about cancelling keydown events

e6faebeb – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/25 06:24

js: Remove keypress handler

43c89dd5 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 20:50

js: Add a comment explaining the two halves of the key-matching code

d94d671b – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 20:48

js: Handle KeyboardEvent.key == "Spacebar"

35d38201 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 19:33

js: Recognise KeyboardEvent.key == "Escape"

f5ac13c8 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 19:19

js: Add mapping for UI_REDO based on KeyboardEvent.key

768ef770 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 19:06

js: Use KeyboardEvent.key for ASCII keystrokes

0db5fb52 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 18:37

js: Remove the charCode argument from key()

9698732d – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 18:22

js: Add modern "key" values for Delete and arrow keys

322a439d – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 18:07

js: Use KeyboardEvent.keyCode and .char only as fallbacks

c1059c07 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/24 17:57

js: Remove braces from big else-if chain in keyboard handler

a62217e9 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/23 07:15

js: Use less-modern syntax in update_pixel_ratio

0254a163 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/22 14:50

js: Make resizing of puzzles work properly again

989c6def – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/22 14:40

js: Pay attention to changes in device pixel ratio