Paulo Reis 32ff66b0dd Add two more font-size options to the editor. %!s(int64=8) %!d(string=hai) anos
..
coffee 90b353298d Switch themes at runtime. %!s(int64=8) %!d(string=hai) anos
templates fc4ffc3905 Fix typo and file extension in example tex template %!s(int64=8) %!d(string=hai) anos
views 32ff66b0dd Add two more font-size options to the editor. %!s(int64=8) %!d(string=hai) anos