index
:
puzzles
devel
master
rockbox
rockbox-devel
My sgt-puzzles tree
Franklin Wei
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
js: Subtle extra padding for menus
Ben Harris
2022-11-24
*
js: If the HTML contains a dialogue-box form, delete it
Ben Harris
2022-11-24
*
js: Disable menu keyboard controls when dialogue box is active
Ben Harris
2022-11-24
*
js: More conventional marking of menu item types
Ben Harris
2022-11-24
*
js: Replace status-bar holder in HTML with status bar itself
Ben Harris
2022-11-23
*
js: Add actions for more keys in menus
Ben Harris
2022-11-23
*
js: Move global keyboard handler to capturing phase
Ben Harris
2022-11-23
*
js: Move focus-tracking to entirely "focus" events
Ben Harris
2022-11-23
*
js: Replace :focus-within with JS-maintained .focus-within
Ben Harris
2022-11-23
*
js: Add keyboard navigation for menus
Ben Harris
2022-11-23
*
Mid-move icon for Cube
Ben Harris
2022-11-23
*
Add missing dependency of screenshots on their save files
Ben Harris
2022-11-23
*
nullgame: Don't bother blanking the puzzle window
Ben Harris
2022-11-22
*
gtk: Fix a missing "const" qualifier when building with GTK 2
Ben Harris
2022-11-22
*
Fix mid-move icons
Ben Harris
2022-11-22
*
js: When removing the status bar, null out its variable
Ben Harris
2022-11-21
*
js: Tiny comment fix
Ben Harris
2022-11-21
*
js: Allow status bar to be present in the HTML
Ben Harris
2022-11-20
*
Palisade: scale line thickness unboundedly with tile size.
Simon Tatham
2022-11-18
*
pearl: Return NULL when Backspace or Escape does nothing
Ben Harris
2022-11-18
*
mines: Grammar fix in instructions
Ben Harris
2022-11-18
*
Document new new undo/redo keys
Ben Harris
2022-11-16
*
Extra key mappings: '*' to undo and '#' to redo
Ben Harris
2022-11-15
*
js: Create the puzzle resize handle only if the puzzle is resizable
Ben Harris
2022-11-15
*
js: Insert a space in game-type submenu headings as well
Ben Harris
2022-11-15
*
js: Convert space after tick in menus to a space character
Ben Harris
2022-11-15
*
js: Use -moz-appearance and -webkit-appearance
Ben Harris
2022-11-15
*
js: Better handling of games without presets and/or solve
Ben Harris
2022-11-13
*
js: Substantially simplify timer code
Ben Harris
2022-11-13
*
js: Give keyboard focus to the puzzle canvas at startup again
Ben Harris
2022-11-12
*
js: Remove class="text/css" from <style> element
Ben Harris
2022-11-12
*
js: Add a way to have environment variables
Ben Harris
2022-11-12
*
js: Use <li role="separator"> in place of <li class="separator">
Ben Harris
2022-11-12
*
js: Label all form controls and put controls inside labels
Ben Harris
2022-11-12
*
js: Prettify menu HTML
Ben Harris
2022-11-12
*
js: Simplify menu CSS a little
Ben Harris
2022-11-12
*
js: Convert menus to use semantically appropriate HTML elements
Ben Harris
2022-11-12
*
Correct a comment: draw_rect_outline() uses draw_polygon()
Ben Harris
2022-11-10
*
Remove setting of indent-tabs-mode from filling.c
Ben Harris
2022-11-10
*
Remove a couple of unused variables.
Simon Tatham
2022-11-10
*
js: Enable STRICT_JS in Emscripten
Ben Harris
2022-11-10
*
js: Add various missing variable declarations
Ben Harris
2022-11-10
*
js: Reinstate a missing variable declaration
Ben Harris
2022-11-09
*
js: Switch to window.requestAnimationFrame() for timing
Ben Harris
2022-11-09
*
js: Cancel UI events when the mid end says they've been handled
Ben Harris
2022-11-08
*
Add a way for midend_process_key() to report whether it handled a keypress
Ben Harris
2022-11-08
*
js: Make SoftRight act as CURSOR_SELECT2 as well
Ben Harris
2022-11-08
*
js: Map the "SoftLeft" key to CURSOR_SELECT2
Ben Harris
2022-11-08
*
js: Move much of the handling of device pixel ratios to the mid-end
Ben Harris
2022-11-08
*
Teach the mid-end about device pixel ratios
Ben Harris
2022-11-08
[next]