diff options
| author | red-001 <red-001@outlook.ie> | 2017-06-01 07:00:26 +0100 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-06-01 08:00:26 +0200 |
| commit | a7787bb9d27851b3e8ff9ff388e50793ee5120ed (patch) | |
| tree | 3b51dc0a8787ebf2d4b062dae06abcdad1c4877d /fonts | |
| parent | ed8215042c3fdf0f020b2870c8fb783ca839e30b (diff) | |
| download | minetest-a7787bb9d27851b3e8ff9ff388e50793ee5120ed.tar.gz minetest-a7787bb9d27851b3e8ff9ff388e50793ee5120ed.tar.bz2 minetest-a7787bb9d27851b3e8ff9ff388e50793ee5120ed.zip | |
Fix dropdown menu selection (#5847)
This fixes a bug that occurred when the selection list of a drop down menu was changed but the name was still the same.
Diffstat (limited to 'fonts')
0 files changed, 0 insertions, 0 deletions