diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2013-08-08 18:58:27 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2013-08-08 18:58:27 -0400 |
| commit | 3766039d04993f70c1045b1740c01e21530cd828 (patch) | |
| tree | 9a4d740bbb338975b3b11e6b58c119842b9d6d3f /core/file_io.lua | |
| parent | 0e034d6337d867bb66f444d503c34f06d4f5a54f (diff) | |
| download | textadept-3766039d04993f70c1045b1740c01e21530cd828.tar.gz textadept-3766039d04993f70c1045b1740c01e21530cd828.zip | |
Theme properties passed to `gui.set_theme()` should persist; core/gui.lua
Diffstat (limited to 'core/file_io.lua')
0 files changed, 0 insertions, 0 deletions