octobercms/october — pull request #255 by sl1nk3 (2014-06-05 20:18:00+00:00)
Title: Implement a code editor settings page

Can be used to set the font size, the tab width, toggle word wrap and
hard tabs.

See https://github.com/octobercms/october/issues/63

P.S : recreated pull request off a branch to avoid merge drama