shithub: puzzles

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

24ce6260 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/22 09:34

js: Pay attention to the device pixel ratio

9be9a124 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/22 09:33

js: Move some styling from style attributes to stylesheet

27f0dafc – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/06 06:11

js: Map mouse co-ordinates correctly even when CSS scales our canvas

4feb5fdf – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/21 21:43

Update Nikoli links and remove Flash warnings

0197ca43 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/21 05:55

js: Percent-encode game IDs in URLs and decode them again on input

373dadac – Simon Tatham <anakin@pobox.com> authored on 2022/10/21 03:52

Build fix: take declarations out of for loops.

a46f0c2b – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/13 06:29

js: Read save files as text rather than binary strings

47905e95 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/20 20:25

Revert "WASM: move save file encoding from JS into C."

12491021 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/19 05:04

Update comment on parameter string formats in documentation

0ce67c7c – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/19 05:04

Document the asserted printable ASCII nature of many strings

7f4d0382 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/16 20:59

Assert that everything written to a save file is printable ASCII

304796f9 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/16 20:56

Hex-encode non-ASCII random seeds in save files

9f2eef87 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/15 17:25

Add assertions that game descriptions consist only of printable ASCII.

e29d8a3e – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/15 16:46

Add an assertion to check the format of encoded parameters

dbbe9d37 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/17 21:00

js: Make the dialogue box heading actually be an <h2>

5c180cfa – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/17 19:11

js: When making a hidden element visible, just remove "display: none"

3c3d8aff – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/17 19:04

js: Remove unnecessary setting of status bar size

49849e40 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/17 18:34

js: Move dialogue-box sizing and positioning from JavaScript to CSS

c90d64f2 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/17 18:04

js: Move most style settings from JavaScript to CSS

1bab1d1d – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/16 15:14

Correct and enable the range check on statepos when loading

02e5e930 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/16 14:31

Add more validation to midend deserialisation routine

879a6922 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/12 17:30

js: Update permalinks and undo/redo buttons when loading

f11e93e3 – Ben Harris <bjh21@bjh21.me.uk> authored on 2022/10/13 06:07

js: Update comment on possible future enhancements