processing/processing — pull request #2719 by aengelke (2014-08-02 16:21:46+00:00)
Title: Sort font names for preferences

This minor change sorts the font names in the preferences window, which font selection box looks cleaner now.