ajaxorg/ace — pull request #1867 by TNKSoftware (2014-03-18 14:00:36+00:00)
Title: Update text.js

Idea of a supporting to proportional fonts.