shithub: puzzles

RSS feed

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

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

Next