steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

minesweeper: workaround world initialization problem. 

Needs a better long term fix.
windows-high-dpi
John Benediktsson 2018-02-11 20:00:18 -08:00
parent 61df87db07
commit 3aee29e373
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
extra/minesweeper/minesweeper.factor
View File

@ -284,7 +284,7 @@ TUPLE: minesweeper-gadget < track ;
[ <toolbar> format-toolbar f track-add ] [ <toolbar> format-toolbar f track-add ]
[ 1 track-add ] bi ; [ 1 track-add ] bi ;
M: minesweeper-gadget focusable-child* children>> second ; M: minesweeper-gadget focusable-child* children>> ?second t or ;
MAIN-WINDOW: run-minesweeper { MAIN-WINDOW: run-minesweeper {
{ title "Minesweeper" } { title "Minesweeper" }