aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* js: Insert a space in game-type submenu headings as wellBen Harris2022-11-15
* js: Convert space after tick in menus to a space characterBen Harris2022-11-15
* js: Use -moz-appearance and -webkit-appearanceBen Harris2022-11-15
* js: Better handling of games without presets and/or solveBen Harris2022-11-13
* js: Substantially simplify timer codeBen Harris2022-11-13
* js: Give keyboard focus to the puzzle canvas at startup againBen Harris2022-11-12
* js: Remove class="text/css" from <style> elementBen Harris2022-11-12
* js: Add a way to have environment variablesBen Harris2022-11-12
* js: Use <li role="separator"> in place of <li class="separator">Ben Harris2022-11-12
* js: Label all form controls and put controls inside labelsBen Harris2022-11-12
* js: Prettify menu HTMLBen Harris2022-11-12
* js: Simplify menu CSS a littleBen Harris2022-11-12
* js: Convert menus to use semantically appropriate HTML elementsBen Harris2022-11-12
* Correct a comment: draw_rect_outline() uses draw_polygon()Ben Harris2022-11-10
* Remove setting of indent-tabs-mode from filling.cBen Harris2022-11-10
* Remove a couple of unused variables.Simon Tatham2022-11-10
* js: Enable STRICT_JS in EmscriptenBen Harris2022-11-10
* js: Add various missing variable declarationsBen Harris2022-11-10
* js: Reinstate a missing variable declarationBen Harris2022-11-09
* js: Switch to window.requestAnimationFrame() for timingBen Harris2022-11-09
* js: Cancel UI events when the mid end says they've been handledBen Harris2022-11-08
* Add a way for midend_process_key() to report whether it handled a keypressBen Harris2022-11-08
* js: Make SoftRight act as CURSOR_SELECT2 as wellBen Harris2022-11-08
* 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