replacement in text.lua at line 21
[12.153]→[12.153:239](∅→∅) − love.graphics.print(line_index, State.left-Line_number_width*App.width('m')+10,y)
+ love.graphics.print(line_index, State.left-Line_number_width*State.font:getWidth('m')+10,y)
replacement in text.lua at line 82
[12.3989]→[12.3989:4019](∅→∅) + x = x+State.font:getWidth(frag)
resurrect zombie in select.lua at line 64
[12.897]→[12.6:38](∅→∅),
[12.897]→[12.6:38](∅→∅) + App.color(Foreground_color)
edit in select.lua at line 64
+ love.graphics.rectangle('fill', x+lo_px,y, State.font:getWidth(s),State.line_height)
edit in select.lua at line 66
[12.152]→[11.4505:4594](∅→∅),
[12.152]→[11.4505:4594](∅→∅) − love.graphics.rectangle('fill', x+lo_px,y, State.font:getWidth(s),State.line_height)
resolve order conflict in select.lua at line 66
replacement in edit.lua at line 411
[12.10420]→[12.10420:10475](∅→∅) − function edit.update_font_settings(State, font_height)
+ function edit.update_font_settings(State, font_height, font)
replacement in edit.lua at line 413
[12.10509]→[12.1640:1696](∅→∅) − State.font = love.graphics.newFont(State.font_height)
+ State.font = font or love.graphics.newFont(State.font_height)
replacement in 0142-right_justified_button at line 2
− local w = App.width(name)
+ local w = Font:getWidth(name)
replacement in 0142-right_justified_button at line 6
[4.174]→[12.163:166](∅→∅),
[12.163]→[12.163:166](∅→∅) replacement in 0140-refresh_file_dialog_input_start at line 5
[12.389]→[4.175:234](∅→∅) − if App.width(s) < File_dialog_input_right_margin-15 then
+ if Font:getWidth(s) < File_dialog_input_right_margin-15 then
replacement in 0140-refresh_file_dialog_input_start at line 11
[12.569]→[12.569:572](∅→∅) replacement in 0128-draw_file_dialog_input at line 5
[12.116]→[12.2437:2489](∅→∅),
[12.2437]→[12.2437:2489](∅→∅) − local w = App.width(File_dialog_input_draw_suffix)
+ local w = Font:getWidth(File_dialog_input_draw_suffix)
replacement in 0128-draw_file_dialog_input at line 7
[12.198]→[12.2569:2572](∅→∅),
[12.2569]→[12.2569:2572](∅→∅) replacement in 0124-styled_button at line 2
− local w = App.width(name)+10
+ local w = Font:getWidth(name)+10
replacement in 0124-styled_button at line 21
replacement in 0119-draw_file_dialog at line 37
− local w = App.width(filename) + 10
+ local w = Font:getWidth(filename) + 10
replacement in 0119-draw_file_dialog at line 52
[12.2377]→[12.2377:2380](∅→∅) replacement in 0118-overflowable_button at line 4
[12.121]→[12.106:136](∅→∅),
[12.106]→[12.106:136](∅→∅) − local w = App.width(name)+10
+ local w = Font:getWidth(name)+10
replacement in 0110-maybe_draw_overflow_button at line 5
[12.155]→[12.155:187](∅→∅) − local w2 = App.width('>>')+10
+ local w2 = Font:getWidth('>>')+10
replacement in 0106-stop_button at line 10
[12.250]→[12.68:100](∅→∅),
[12.654]→[12.68:100](∅→∅),
[12.1362]→[12.68:100](∅→∅),
[12.68]→[12.68:100](∅→∅) − local w = App.width('stop')+10
+ local w = Font:getWidth('stop')+10
replacement in 0106-stop_button at line 12
replacement in 0081-draw_settings_menu at line 11
[12.3353]→[12.3353:3408](∅→∅) − local sx = x+App.width('bg')+50 -- align all sliders
+ local sx = x+Font:getWidth('bg')+50 -- align all sliders
replacement in 0081-draw_settings_menu at line 63
[5.1312]→[12.5309:5312](∅→∅),
[12.5309]→[12.5309:5312](∅→∅) replacement in 0070-code_editor_state at line 6
[12.2710]→[12.2710:2772](∅→∅) − math.min(100+30*App.width('m'), Safe_width*2/3), -- right
+ math.min(100+30*Font:getWidth('m'), Safe_width*2/3), -- right
replacement in 0070-code_editor_state at line 10
[12.2865]→[12.2865:2868](∅→∅) replacement in 0051-run_button at line 29
[12.812]→[12.812:843](∅→∅) − local w = App.width('run')+10
+ local w = Font:getWidth('run')+10
replacement in 0051-run_button at line 31
[12.4086]→[6.216:219](∅→∅) replacement in 0032-update_font_settings at line 6
[12.978]→[12.222:278](∅→∅),
[12.222]→[12.222:278](∅→∅) − Line_number_padding = Line_number_width*App.width('m')
+ Line_number_padding = Line_number_width*Font:getWidth('m')
replacement in 0032-update_font_settings at line 12
[12.863]→[12.863:939](∅→∅) − pane.editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)
+ pane.editor_state.right = math.min(100+30*Font:getWidth('m'), Safe_width*2/3)
replacement in 0032-update_font_settings at line 17
[12.1016]→[9.176:236](∅→∅) − edit.update_font_settings(pane.editor_state, Font_height)
+ edit.update_font_settings(pane.editor_state, Font_height, Font)
replacement in 0032-update_font_settings at line 19
[12.1113]→[9.237:304](∅→∅) − edit.update_font_settings(pane.output_editor_state, Font_height)
+ edit.update_font_settings(pane.output_editor_state, Font_height, Font)
replacement in 0032-update_font_settings at line 22
[12.697]→[12.662:665](∅→∅),
[12.1118]→[12.662:665](∅→∅),
[12.662]→[12.662:665](∅→∅) replacement in 0031-on.resize at line 4
[12.121]→[12.121:197](∅→∅) − pane.editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)
+ pane.editor_state.right = math.min(100+30*pane.font:getWidth('m'), Safe_width*2/3)
replacement in 0031-on.resize at line 13
[12.596]→[12.246:249](∅→∅),
[12.1264]→[12.246:249](∅→∅),
[12.1575]→[12.246:249](∅→∅),
[12.246]→[12.246:249](∅→∅) replacement in 0021-draw_menu at line 12
[12.5743]→[12.7781:7837](∅→∅),
[12.7781]→[12.7781:7837](∅→∅) − x = x+5 + App.width(tostring(Current_pane_index)) + 10
+ x = x+5 + Font:getWidth(tostring(Current_pane_index)) + 10
replacement in 0021-draw_menu at line 17
[12.313]→[12.313:378](∅→∅) − local w = App.width('code')+10
− local w2 = App.width('>>')+10
+ local w = Font:getWidth('code')+10
+ local w2 = Font:getWidth('>>')+10
replacement in 0021-draw_menu at line 36
[12.4651]→[12.4651:4718](∅→∅) − local w = App.width('screen')+10
− local w2 = App.width('>>')+10
+ local w = Font:getWidth('screen')+10
+ local w2 = Font:getWidth('>>')+10
replacement in 0021-draw_menu at line 56
[12.5795]→[10.172:175](∅→∅) replacement in 0011-on.initialize at line 10
[12.1100]→[12.3220:3276](∅→∅),
[12.3220]→[12.3220:3276](∅→∅) − Line_number_padding = Line_number_width*App.width('m')
+ Line_number_padding = Line_number_width*Font:getWidth('m')