diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2023-06-04 12:33:23 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2023-06-04 12:33:23 -0700 |
| commit | 637e28f300def4172459dd1d6fdf6efd53200ea8 (patch) | |
| tree | b53422ef58db46b96564b83b468e1689a1a51fba /source.lua | |
| parent | 9656e137742eb442e9ce013dd3f25cf6df8c9fad (diff) | |
| download | lines.love-637e28f300def4172459dd1d6fdf6efd53200ea8.tar.gz | |
port inscript's bugfix to source editor
Diffstat (limited to 'source.lua')
| -rw-r--r-- | source.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/source.lua b/source.lua index cab4512..b4489e1 100644 --- a/source.lua +++ b/source.lua @@ -113,6 +113,11 @@ function source.initialize_edit_side() end end +function print_and_log(s) + print(s) + log(3, s) +end + function source.load_settings() local settings = Settings.source love.graphics.setFont(love.graphics.newFont(settings.font_height)) |