ajaxorg/ace — pull request #992 by nightwing (2012-10-01 16:26:47+00:00)
Title: Allow bold fonts

allow using bold style for fonts that have same width

and use adobe source code pro instead of droid sans mono

@ajaxorg/liskov