With previous versions, as recent as 1.6.4, you could shift-click on servers in the server list to rearrange the order of your list. (Shift-Arrow also worked) Those of us with a long list greatly appreciate this feature.
However, 1.7.2 appears to have broken this functionality.
Still no longer working as late as snapshot 14w30c
Linked issues
Attachments
Comments 4
For clarity, the report was shift-click, which seems to be broken. The resolution here simply points to a related function (shift-arrow). Does this mean the functionality was removed or is this an unintended bug?
Cannot confirm.
Servers are still sortable by shift-arrow.
Please force a crash by pressing F3 + C for 10 seconds while in-game and attach the crash report (
[minecraft|http://hopper.minecraft.net/help/finding-minecraft-data-folder]/crash-reports/crash-<DATE>-client.txt) here.