* settingstypes.txt: Fix wrong default value for profiler.report_path
* Disable Irrlicht file picker on Android
(It doesn't work.)
* Join Game tab: Fix server description textarea being misaligned with background
* Reduce distance between tab and gamebar on Android
Allows using a higher gui_scaling value without the gamebar going off-screen.
Co-authored-by: ROllerozxa <rollerozxa@voxelmanip.se>
The reset button now removes the setting from minetest.conf instead of setting it to its default value.
The reset button is now shown whenever a value is present in minetest.conf
Float settings now get a .0 suffix if they have no decimal places.
