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