194
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
* You can change the theme, font and font size of Textadept with the following line
ui.set_theme('dark', {font = 'Monospace', fontsize = 10})
in which the expression '''dark''' is the filename of the theme located either in <code>Textadept\themes </code> or you can download and add new themes to <code>USER\.textadept\themes</code>
(create the folder if it's not there yet).
There are more settings which you can look up in Textadept's [https://foicica.com/textadept/manual.html#Themes online manual].
