Server selections are now always correct (no more arbitrarily changing selections if the order of the serverlist changes) and consistent with the address + port in the sidebar.
* 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>
Pressing "Register" when the port field was empty led to an assertion error inside `create_register_dialog`, it was simply checking the port was a number.
New users find Minetest's account system confusing.
This change moves username/password to a new dialog,
with login and register buttons added to the Join Game tab.
The old registration confirmation dialog is removed in
favour of the new dialog.
Fixes#8138
Increase scrollrate depending on fontsize
Scroll on mousewheel
Allow scrolling and marking text on non writable textareas
Update lua api about readonly mode
Show scrollbar if text overflows
