316 lines
9.9 KiB
Lua
316 lines
9.9 KiB
Lua
source = {}
|
|
|
|
Editor_state = {}
|
|
Line_number_width = 3 -- in ems
|
|
|
|
-- called both in tests and real run
|
|
function source.initialize_globals()
|
|
-- tests currently mostly clear their own state
|
|
|
|
Show_log_browser_side = false
|
|
Focus = 'edit'
|
|
Show_file_navigator = false
|
|
File_navigation = {
|
|
all_candidates = {
|
|
'run',
|
|
'run_tests',
|
|
'log',
|
|
'edit',
|
|
'drawing',
|
|
'help',
|
|
'text',
|
|
'search',
|
|
'select',
|
|
'undo',
|
|
'text_tests',
|
|
'geom',
|
|
'drawing_tests',
|
|
'file',
|
|
'source',
|
|
'source_tests',
|
|
'commands',
|
|
'log_browser',
|
|
'source_edit',
|
|
'source_text',
|
|
'source_undo',
|
|
'colorize',
|
|
'source_text_tests',
|
|
'source_file',
|
|
'main',
|
|
'button',
|
|
'keychord',
|
|
'app',
|
|
'test',
|
|
'json',
|
|
},
|
|
index = 1,
|
|
filter = '',
|
|
cursors = {}, -- filename to cursor1, screen_top1
|
|
}
|
|
File_navigation.candidates = File_navigation.all_candidates -- modified with filter
|
|
|
|
Menu_status_bar_height = 5 + --[[line height in tests]] 15 + 5
|
|
|
|
-- blinking cursor
|
|
Cursor_time = 0
|
|
end
|
|
|
|
-- called only for real run
|
|
function source.initialize()
|
|
log_new('source')
|
|
-- maximizing on iOS breaks text rendering: https://github.com/deltadaedalus/vudu/issues/7
|
|
-- no point second-guessing window dimensions on mobile
|
|
App.screen.width, App.screen.height, App.screen.flags = App.screen.size()
|
|
if Settings and Settings.source then
|
|
source.load_settings()
|
|
else
|
|
source.initialize_default_settings()
|
|
end
|
|
|
|
source.initialize_edit_side()
|
|
source.initialize_log_browser_side()
|
|
|
|
Menu_status_bar_height = 5 + Editor_state.line_height + 5
|
|
Editor_state.top = Editor_state.top + Menu_status_bar_height
|
|
Log_browser_state.top = Log_browser_state.top + Menu_status_bar_height
|
|
|
|
|
|
|
|
-- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708
|
|
love.window.setTitle('lines.love - source - '..Editor_state.filename)
|
|
|
|
|
|
|
|
end
|
|
|
|
-- environment for a mutable file
|
|
-- TODO: some initialization is also happening in load_settings/initialize_default_settings. Clean that up.
|
|
function source.initialize_edit_side()
|
|
load_from_disk(Editor_state)
|
|
Text.redraw_all(Editor_state)
|
|
if File_navigation.cursors[Editor_state.filename] then
|
|
Editor_state.screen_top1 = File_navigation.cursors[Editor_state.filename].screen_top1
|
|
Editor_state.cursor1 = File_navigation.cursors[Editor_state.filename].cursor1
|
|
else
|
|
Editor_state.screen_top1 = {line=1, pos=1}
|
|
Editor_state.cursor1 = {line=1, pos=1}
|
|
end
|
|
edit.check_locs(Editor_state)
|
|
|
|
if Editor_state.cursor1.line > #Editor_state.lines then
|
|
Editor_state.cursor1 = {line=1, pos=1}
|
|
end
|
|
if Editor_state.screen_top1.line > #Editor_state.lines then
|
|
Editor_state.screen_top1 = {line=1, pos=1}
|
|
end
|
|
|
|
if rawget(_G, 'jit') then
|
|
jit.off()
|
|
jit.flush()
|
|
end
|
|
end
|
|
|
|
function print_and_log(s)
|
|
print(s)
|
|
log(3, s)
|
|
end
|
|
|
|
function source.load_settings()
|
|
local settings = Settings.source
|
|
local font = love.graphics.newFont(settings.font_height)
|
|
Show_log_browser_side = settings.show_log_browser_side
|
|
local right = App.screen.width - Margin_right
|
|
if Show_log_browser_side then
|
|
right = App.screen.width/2 - Margin_right
|
|
end
|
|
Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*font:getWidth('m'), right, font, settings.font_height, math.floor(settings.font_height*1.3))
|
|
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
|
|
if settings.cursors then
|
|
File_navigation.cursors = settings.cursors
|
|
Editor_state.screen_top1 = File_navigation.cursors[Editor_state.filename].screen_top1
|
|
Editor_state.cursor1 = File_navigation.cursors[Editor_state.filename].cursor1
|
|
else
|
|
-- migrate old settings
|
|
Editor_state.screen_top1 = {line=1, pos=1}
|
|
Editor_state.cursor1 = {line=1, pos=1}
|
|
end
|
|
end
|
|
|
|
function source.initialize_default_settings()
|
|
local font_height = 20
|
|
local font = love.graphics.newFont(font_height)
|
|
Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*font:getWidth('m'), App.screen.width-Margin_right, font, font_height, math.floor(font_height*1.3))
|
|
Editor_state.filename = 'run.lua'
|
|
end
|
|
|
|
-- a copy of source.file_drop when given a filename
|
|
function source.switch_to_file(filename)
|
|
-- first make sure to save edits on any existing file
|
|
if Editor_state.next_save then
|
|
save_to_disk(Editor_state)
|
|
end
|
|
-- save cursor position
|
|
File_navigation.cursors[Editor_state.filename] = {cursor1=Editor_state.cursor1, screen_top1=Editor_state.screen_top1}
|
|
-- clear the slate for the new file
|
|
Editor_state.filename = filename
|
|
load_from_disk(Editor_state)
|
|
Text.redraw_all(Editor_state)
|
|
if File_navigation.cursors[filename] then
|
|
Editor_state.screen_top1 = File_navigation.cursors[filename].screen_top1
|
|
Editor_state.cursor1 = File_navigation.cursors[filename].cursor1
|
|
else
|
|
Editor_state.screen_top1 = {line=1, pos=1}
|
|
Editor_state.cursor1 = {line=1, pos=1}
|
|
end
|
|
end
|
|
|
|
function source.draw()
|
|
edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator, --[[show line numbers]] true)
|
|
if Show_log_browser_side then
|
|
-- divider
|
|
App.color(Divider_color)
|
|
love.graphics.rectangle('fill', App.screen.width/2-1,Menu_status_bar_height, 3,App.screen.height)
|
|
--
|
|
log_browser.draw(Log_browser_state, --[[hide_cursor]] Focus ~= 'log_browser')
|
|
end
|
|
source.draw_menu_bar()
|
|
if Error_message then
|
|
local height = math.min(20*Editor_state.line_height, App.screen.height*0.2)
|
|
App.color{r=0.8,g=0,b=0}
|
|
love.graphics.rectangle('fill', 150, App.screen.height - height-10, App.screen.width, height+10)
|
|
App.color{r=0,g=0,b=0}
|
|
love.graphics.print(Error_message, 150+10, App.screen.height - height)
|
|
end
|
|
end
|
|
|
|
function source.update(dt)
|
|
Cursor_time = Cursor_time + dt
|
|
if App.mouse_x() < Editor_state.right then
|
|
edit.update(Editor_state, dt)
|
|
elseif Show_log_browser_side then
|
|
log_browser.update(Log_browser_state, dt)
|
|
end
|
|
end
|
|
|
|
function source.quit()
|
|
edit.quit(Editor_state)
|
|
log_browser.quit(Log_browser_state)
|
|
end
|
|
|
|
function source.settings()
|
|
File_navigation.cursors[Editor_state.filename] = {cursor1=Editor_state.cursor1, screen_top1=Editor_state.screen_top1}
|
|
return {
|
|
font_height=Editor_state.font_height,
|
|
filename=Editor_state.filename,
|
|
cursors=File_navigation.cursors,
|
|
show_log_browser_side=Show_log_browser_side,
|
|
focus=Focus,
|
|
}
|
|
end
|
|
|
|
function source.mouse_press(x,y, mouse_button)
|
|
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
|
|
--? print('mouse click', x, y)
|
|
--? print(Editor_state.left, Editor_state.right)
|
|
--? print(Log_browser_state.left, Log_browser_state.right)
|
|
if Show_file_navigator and y < Menu_status_bar_height + File_navigation.num_lines * Editor_state.line_height then
|
|
-- send click to buttons
|
|
edit.mouse_press(Editor_state, x,y, mouse_button)
|
|
return
|
|
end
|
|
if x < Editor_state.right + Margin_right then
|
|
--? print('click on edit side')
|
|
if Focus ~= 'edit' then
|
|
Focus = 'edit'
|
|
return
|
|
end
|
|
edit.mouse_press(Editor_state, x,y, mouse_button)
|
|
elseif Show_log_browser_side and Log_browser_state.left <= x and x < Log_browser_state.right then
|
|
--? print('click on log_browser side')
|
|
if Focus ~= 'log_browser' then
|
|
Focus = 'log_browser'
|
|
return
|
|
end
|
|
log_browser.mouse_press(Log_browser_state, x,y, mouse_button)
|
|
for _,line_cache in ipairs(Editor_state.line_cache) do line_cache.starty = nil end -- just in case we scroll
|
|
end
|
|
end
|
|
|
|
function source.mouse_release(x,y, mouse_button)
|
|
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
|
|
if Focus == 'edit' then
|
|
return edit.mouse_release(Editor_state, x,y, mouse_button)
|
|
else
|
|
return log_browser.mouse_release(Log_browser_state, x,y, mouse_button)
|
|
end
|
|
end
|
|
|
|
function source.text_input(t)
|
|
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
|
|
if Show_file_navigator then
|
|
text_input_on_file_navigator(t)
|
|
return
|
|
end
|
|
if Focus == 'edit' then
|
|
return edit.text_input(Editor_state, t)
|
|
else
|
|
return log_browser.text_input(Log_browser_state, t)
|
|
end
|
|
end
|
|
|
|
function source.keychord_press(chord, key)
|
|
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
|
|
--? print('source keychord')
|
|
if Show_file_navigator then
|
|
keychord_press_on_file_navigator(chord, key)
|
|
return
|
|
end
|
|
if chord == 'C-l' then
|
|
--? print('C-l')
|
|
Show_log_browser_side = not Show_log_browser_side
|
|
if Show_log_browser_side then
|
|
Editor_state.right = App.screen.width/2 - Margin_right
|
|
Editor_state.width = Editor_state.right-Editor_state.left
|
|
Text.redraw_all(Editor_state)
|
|
Log_browser_state.left = App.screen.width/2 + Margin_left
|
|
Log_browser_state.right = App.screen.width - Margin_right
|
|
else
|
|
Editor_state.right = App.screen.width - Margin_right
|
|
Editor_state.width = Editor_state.right-Editor_state.left
|
|
Text.redraw_all(Editor_state)
|
|
end
|
|
return
|
|
end
|
|
if chord == 'C-k' then
|
|
-- clear logs
|
|
love.filesystem.remove('log')
|
|
-- restart to reload state of logs on screen
|
|
Settings.source = source.settings()
|
|
source.quit()
|
|
love.filesystem.write('config', json.encode(Settings))
|
|
load_file_from_source_or_save_directory('main.lua')
|
|
App.undo_initialize()
|
|
App.run_tests_and_initialize()
|
|
return
|
|
end
|
|
if chord == 'C-g' then
|
|
Show_file_navigator = true
|
|
return
|
|
end
|
|
if Focus == 'edit' then
|
|
return edit.keychord_press(Editor_state, chord, key)
|
|
else
|
|
return log_browser.keychord_press(Log_browser_state, chord, key)
|
|
end
|
|
end
|
|
|
|
function source.key_release(key, scancode)
|
|
Cursor_time = 0 -- ensure cursor is visible immediately after it moves
|
|
if Focus == 'edit' then
|
|
return edit.key_release(Editor_state, key, scancode)
|
|
else
|
|
return log_browser.keychord_press(Log_browser_state, chordkey, scancode)
|
|
end
|
|
end
|