godot/main
Pedro J. Estébanez a1d8fc1af9 Polish & fix editor help cache generation
- Isolated the generation of extensions's docs. They're now not cached and refreshed as needed.
- Removed superfluous sorting of the class list.
- Removed some superfluous/unused elements.
- Renamed some items for clarity.
2023-11-02 13:46:37 +01:00
..
app_icon.png Optimize images losslessly using oxipng -o6 --strip all --zopfli 2018-06-28 19:17:41 +02:00
main_builders.py Tweak the editor splash screen color to better match the default theme 2021-03-17 22:57:35 +01:00
main_timer_sync.cpp Add frame delta smoothing option (4.x) 2023-05-16 13:57:25 +01:00
main_timer_sync.h Add frame delta smoothing option (4.x) 2023-05-16 13:57:25 +01:00
main.cpp Polish & fix editor help cache generation 2023-11-02 13:46:37 +01:00
main.h Fix thread IDs. 2023-04-24 15:13:58 +02:00
performance.cpp Fix 'Navigation Process' monitor initialization 2023-01-13 23:47:31 +01:00
performance.h Add NavigationServer Performance Monitor 2023-01-08 22:58:21 +01:00
SCsub Remove editor splash screen with sponsors logo 2021-11-30 12:47:25 +01:00
splash.png Optimize images losslessly using oxipng -o6 --strip all --zopfli 2019-10-12 23:23:33 +02:00