diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-09-15 13:30:42 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-09-15 13:30:42 -0700 |
commit | 76f119b7b996c5751a42bf09b1a234b98aa6d48b (patch) | |
tree | 0d6180c0de87bd8221c7d6b64b23c2ad4b6edde8 /source.lua | |
parent | ab5ba3f3e5f4f1f1583d798ace26683cb572ed18 (diff) | |
download | lines.love-76f119b7b996c5751a42bf09b1a234b98aa6d48b.tar.gz |
hide line numbers from log browser
Diffstat (limited to 'source.lua')
-rw-r--r-- | source.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source.lua b/source.lua index 4a8bb48..e8dd7cc 100644 --- a/source.lua +++ b/source.lua @@ -237,7 +237,7 @@ function source.switch_to_file(filename) end function source.draw() - edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator) + edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator, --[[show line numbers]] true) if Show_log_browser_side then -- divider App.color(Divider_color) |