Silvano Seva b26d783429 Small optimisation of UI management: perform an update and render of the graphics only when necessary		2022-08-28 11:49:03 +02:00
..
include	Small optimisation of UI management: perform an update and render of the graphics only when necessary	2022-08-28 11:49:03 +02:00
src	Small optimisation of UI management: perform an update and render of the graphics only when necessary	2022-08-28 11:49:03 +02:00