Either in ~/.textadept/init.lua
ui.set_theme('vscode-dark', {fontsize = 13})
or in your theme file
property['font'], property['fontsize'] = 'iosevka', 13
-- Predefined styles.
property['style.default'] = 'font:%(font),size:%(fontsize),'...
I used vscode before, but now my views are different and I hate applications on
electron. However, I like the standard theme, so I moved it to textadept. If
someone is interested in it, then I can put it somewhere.
[screenshot](https://imgur.com/RZZGaPO)
