aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* js: Subtle extra padding for menusBen Harris2022-11-24
* js: If the HTML contains a dialogue-box form, delete itBen Harris2022-11-24
* js: Disable menu keyboard controls when dialogue box is activeBen Harris2022-11-24
* js: More conventional marking of menu item typesBen Harris2022-11-24
* js: Replace status-bar holder in HTML with status bar itselfBen Harris2022-11-23
* js: Add actions for more keys in menusBen Harris2022-11-23
* js: Move global keyboard handler to capturing phaseBen Harris2022-11-23
* js: Move focus-tracking to entirely "focus" eventsBen Harris2022-11-23
* js: Replace :focus-within with JS-maintained .focus-withinBen Harris2022-11-23
* js: Add keyboard navigation for menusBen Harris2022-11-23
* Mid-move icon for CubeBen Harris2022-11-23
* Add missing dependency of screenshots on their save filesBen Harris2022-11-23
* nullgame: Don't bother blanking the puzzle windowBen Harris2022-11-22
* gtk: Fix a missing "const" qualifier when building with GTK 2Ben Harris2022-11-22
* Fix mid-move iconsBen Harris2022-11-22
* js: When removing the status bar, null out its variableBen Harris2022-11-21
* js: Tiny comment fixBen Harris2022-11-21
* js: Allow status bar to be present in the HTMLBen Harris2022-11-20
* Palisade: scale line thickness unboundedly with tile size.Simon Tatham2022-11-18
* pearl: Return NULL when Backspace or Escape does nothingBen Harris2022-11-18
* mines: Grammar fix in instructionsBen Harris2022-11-18
* Document new new undo/redo keysBen Harris2022-11-16
* Extra key mappings: '*' to undo and '#' to redoBen Harris2022-11-15
* js: Create the puzzle resize handle only if the puzzle is resizableBen Harris2022-11-15
* 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