octobercms/october — pull request #250 by sl1nk3 (2014-06-05 07:00:34+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