Implement a code editor settings page

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