RSS feed
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
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
Next