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