diff options
| -rw-r--r-- | source.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source.lua b/source.lua index 14730df..c582953 100644 --- a/source.lua +++ b/source.lua @@ -72,7 +72,7 @@ function source.initialize() source.initialize_default_settings() end - source.initialize_edit_side{'run.lua'} + source.initialize_edit_side() source.initialize_log_browser_side() Menu_status_bar_height = 5 + Editor_state.line_height + 5 |