aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* js: Map the "SoftLeft" key to CURSOR_SELECT2Ben Harris2022-11-08
* js: Move much of the handling of device pixel ratios to the mid-endBen Harris2022-11-08
* Teach the mid-end about device pixel ratiosBen Harris2022-11-08
* js: Make update_pixel_ratio() more robustBen Harris2022-11-08
* js: Adjust z-indices of sub-menus and resize handleBen Harris2022-11-01
* js: Tolerate the non-existence of some HTML elementsBen Harris2022-10-29
* Loopy: adjust clip rectangle for new line thickness.Simon Tatham2022-10-28
* Loopy: make line thicknesses scale with the canvas.Simon Tatham2022-10-28
* js: Take device pixel ratio into account when setting default sizeBen Harris2022-10-27
* js: Distinguish manual resizes from device pixel ratio changesBen Harris2022-10-27
* js: Split setting nominal and actual canvas sizeBen Harris2022-10-27
* js: Very bad attempt at making puzzles change size when zoomingBen Harris2022-10-27
* js: Add a CMake variable to control whether Emscripten emits WASMBen Harris2022-10-27
* js: Make update_pixel_ratio more backward-compatibleBen Harris2022-10-26
* js: Use String.replace() in place of .replaceAll()Ben Harris2022-10-26
* js: Be more subtle about cancelling keydown eventsBen Harris2022-10-25
* js: Remove keypress handlerBen Harris2022-10-25
* js: Add a comment explaining the two halves of the key-matching codeBen Harris2022-10-25
* js: Handle KeyboardEvent.key == "Spacebar"Ben Harris2022-10-25
* js: Recognise KeyboardEvent.key == "Escape"Ben Harris2022-10-24
* js: Add mapping for UI_REDO based on KeyboardEvent.keyBen Harris2022-10-24
* js: Use KeyboardEvent.key for ASCII keystrokesBen Harris2022-10-24
* js: Remove the charCode argument from key()Ben Harris2022-10-24
* js: Add modern "key" values for Delete and arrow keysBen Harris2022-10-24
* js: Use KeyboardEvent.keyCode and .char only as fallbacksBen Harris2022-10-24
* js: Remove braces from big else-if chain in keyboard handlerBen Harris2022-10-24
* js: Use less-modern syntax in update_pixel_ratioBen Harris2022-10-23
* js: Make resizing of puzzles work properly againBen Harris2022-10-22
* js: Pay attention to changes in device pixel ratioBen Harris2022-10-22
* js: Pay attention to the device pixel ratioBen Harris2022-10-22
* js: Move some styling from style attributes to stylesheetBen Harris2022-10-22
* js: Map mouse co-ordinates correctly even when CSS scales our canvasBen Harris2022-10-22
* Update Nikoli links and remove Flash warningsBen Harris2022-10-22
* js: Percent-encode game IDs in URLs and decode them again on inputBen Harris2022-10-21
* Build fix: take declarations out of for loops.Simon Tatham2022-10-21
* js: Read save files as text rather than binary stringsBen Harris2022-10-21
* Revert "WASM: move save file encoding from JS into C."Ben Harris2022-10-21
* Update comment on parameter string formats in documentationBen Harris2022-10-20
* Document the asserted printable ASCII nature of many stringsBen Harris2022-10-20
* Assert that everything written to a save file is printable ASCIIBen Harris2022-10-20
* Hex-encode non-ASCII random seeds in save filesBen Harris2022-10-20
* Add assertions that game descriptions consist only of printable ASCII.Ben Harris2022-10-20
* Add an assertion to check the format of encoded parametersBen Harris2022-10-20
* js: Make the dialogue box heading actually be an <h2>Ben Harris2022-10-18
* js: When making a hidden element visible, just remove "display: none"Ben Harris2022-10-17
* js: Remove unnecessary setting of status bar sizeBen Harris2022-10-17
* js: Move dialogue-box sizing and positioning from JavaScript to CSSBen Harris2022-10-17
* js: Move most style settings from JavaScript to CSSBen Harris2022-10-17
* Correct and enable the range check on statepos when loadingBen Harris2022-10-16
* Add more validation to midend deserialisation routineBen Harris2022-10-16