Tue, 22 Aug 2023 21:36:49 +0200 |
David Demelier |
ui: fix gridmenu padding
|
Tue, 22 Aug 2023 19:23:00 +0200 |
David Demelier |
ui: simplify gridmenu
|
Fri, 11 Aug 2023 18:01:28 +0200 |
David Demelier |
ui: grid menu be more flexible
|
Fri, 11 Aug 2023 19:45:00 +0200 |
David Demelier |
ui: do the same with gridmenu
|
Mon, 06 Mar 2023 20:03:00 +0100 |
David Demelier |
misc: remove error codes for now
|
Sat, 04 Mar 2023 16:47:54 +0100 |
David Demelier |
core: doxygenize game
|
Thu, 02 Mar 2023 21:36:43 +0100 |
David Demelier |
ui: separate delegate/style
|
Thu, 02 Mar 2023 08:54:00 +0100 |
David Demelier |
ui: gridmenu is stylable
|