ajaxorg/ace — pull request #1084 by nightwing (2012-11-06 15:33:20+00:00)
Title: allow themes to set padding 

see #1059
@ajaxorg/liskov