arduino/Arduino — pull request #100 by sgk (2012-06-16 17:05:13+00:00)
Title: Sort keys in the preferences.txt.

Almost all users don't realize this change. But, developers and experienced users will love it.