moar bugfix X-(
This commit is contained in:
parent
bd2179d8aa
commit
aa6bfb4b15
|
@ -126,7 +126,7 @@ function source.load_settings()
|
||||||
if Show_log_browser_side then
|
if Show_log_browser_side then
|
||||||
right = App.screen.width/2 - Margin_right
|
right = App.screen.width/2 - Margin_right
|
||||||
end
|
end
|
||||||
Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, font, font_height, math.floor(settings.font_height*1.3))
|
Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, font, settings.font_height, math.floor(settings.font_height*1.3))
|
||||||
Editor_state.filename = settings.filename
|
Editor_state.filename = settings.filename
|
||||||
Editor_state.filename = basename(Editor_state.filename) -- migrate settings that used full paths; we now support only relative paths within the app
|
Editor_state.filename = basename(Editor_state.filename) -- migrate settings that used full paths; we now support only relative paths within the app
|
||||||
if settings.cursors then
|
if settings.cursors then
|
||||||
|
|
|
@ -86,7 +86,7 @@ function edit.initialize_state(top, left, right, font, font_height, line_height)
|
||||||
previous_drawing_mode = nil, -- extra state for some ephemeral modes like moving/deleting/naming points
|
previous_drawing_mode = nil, -- extra state for some ephemeral modes like moving/deleting/naming points
|
||||||
|
|
||||||
font = font,
|
font = font,
|
||||||
font_height = font:getHeight(),
|
font_height = font_height,
|
||||||
line_height = line_height,
|
line_height = line_height,
|
||||||
|
|
||||||
top = top,
|
top = top,
|
||||||
|
|
Loading…
Reference in New Issue