|
autodrop.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
hint.png
|
Added hint button to the toolbar.
|
2022-05-28 15:30:21 -04:00 |
|
new.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
open.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
pause.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
quit.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
redo.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
restart.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
rules.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
save.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
shuffle.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
|
undo.png
|
Re-enabled toolbar style selection option.
|
2021-11-19 17:57:59 -05:00 |
