Desour
|
67068cfaf4
|
Get rid of wgettext
|
2023-04-08 20:17:50 +02:00 |
|
paradust7
|
9f338f5a56
|
Replace all uses of core::list with std::list (#12313)
|
2022-05-22 00:11:59 +02:00 |
|
Hugues Ross
|
f780bae05c
|
Formspecs: Add state-selection to style elements (#9378)
|
2020-04-11 21:39:30 +01:00 |
|
SmallJoker
|
ee7d357602
|
Key settings: Clear with escape (#8282)
Key ESCAPE -> Cancel change
Key DELETE -> Remove entry
|
2020-02-14 20:36:58 +01:00 |
|
Quentin Bazin
|
5f1cd555cd
|
Move client-specific files to 'src/client' (#7902)
Update Android.mk
Remove 'src/client' from include_directories
|
2018-11-28 20:01:49 +01:00 |
|
stujones11
|
323c860045
|
Move touchscreen input handling to base GUIModalMenu class
|
2018-10-29 15:37:44 +01:00 |
|
Vitaliy
|
20a85d76d9
|
Move files to subdirectories (#6599)
* Move files around
|
2017-11-08 23:56:20 +01:00 |
|