akkartik/broadsheet.love - Change 6JIMFQY7YBJCFHR4VLILTINAPRIIAYGWY22Z4EOT4BDEJCZRANWQC

increase/decrease font size

Created by Kartik K. Agaram on January 19, 2023

6JIMFQY7YBJCFHR4VLILTINAPRIIAYGWY22Z4EOT4BDEJCZRANWQC

Dependencies

In channels

main

Change contents

Replacement in head at line 1 [3.10815]
B:BD[3.10815] → [2.12:14]
```
22
```
[3.10815]
```
40
```

File addition: 0040-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	local old_editor = Editors[1]
	Editors = {}
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, old_editor.filename, old_editor.screen_top1)
	elseif chord == 'C-=' then
		initialize_editors(old_editor.font_height+2, old_editor.filename, old_editor.screen_top1)
	elseif chord == 'C--' then
		initialize_editors(old_editor.font_height-2, old_editor.filename, old_editor.screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0040-fwmanifest (----------)

[4.2]

{"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20,"on.mouse_release":19,"fw_parent":39,"Editors":6,"initialize_editors":35,"fw_app":"broadsheet","on":1,"on.keychord_press":40,"on.initialize":36}

File addition: 0039-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	local old_editor = Editors[1]
	Editors = {}
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, old_editor.filename, old_editor.screen_top1)
	elseif chord == 'C-=' then
		initialize_editors(old_editor.font_height+2, old_editor.filename, old_editor.screen_top1)
	elseif chord == 'C--' then
		initialize_editors(old_editors.font_height-2, old_editor.filename, old_editor.screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0039-fwmanifest (----------)

[4.2]

{"fw_app":"broadsheet","on.keychord_press":39,"initialize_editors":35,"on.key_release":15,"Cursor_editor":16,"on.mouse_press":20,"on":1,"on.initialize":36,"on.mouse_release":19,"Editors":6,"on.draw":12,"fw_parent":38}

File addition: 0038-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, Editors[1].filename, Editors[1].screen_top1)
	elseif chord == 'C-=' then
		initialize_editors(Editors[1].font_height+2, Editors[1].filename, Editors[1].screen_top1)
	elseif chord == 'C--' then
		initialize_editors(Editors[1].font_height-2, Editors[1].filename, Editors[1].screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0038-fwmanifest (----------)

[4.2]

{"fw_app":"broadsheet","on":1,"on.keychord_press":38,"initialize_editors":35,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"fw_parent":37,"Editors":6,"on.initialize":36,"on.mouse_press":20,"on.mouse_release":19}

File addition: 0037-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, Editors[1].filename, Editors[1].screen_top1)
	elseif chord == 'C-=' then
		initialize_editors(Editors[1].font_height+2, Editors[1].filename, Editors[1].screen_top1)
	elseif chord == 'C--' then
		initialize_editors(Editors[1].font_height-2, Editors[1].filename, Editors[1].screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0037-fwmanifest (----------)

[4.2]

{"fw_app":"broadsheet","on.keychord_press":37,"initialize_editors":35,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on":1,"Editors":6,"on.mouse_release":19,"on.mouse_press":20,"on.initialize":36,"fw_parent":36}

File addition: 0036-on.initialize (----------)

[4.2]

on.initialize = function(arg)
	initialize_editors( --[[font height]] 20, --[[filename]] arg[1], --[[screen_top]] {line=1, pos=1})
end

File addition: 0036-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":35,"on.initialize":36,"fw_app":"broadsheet","on.keychord_press":34,"fw_parent":35,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0035-initialize_editors (----------)

[4.2]

initialize_editors = function(font_height, filename, screen_top)
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = filename
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	Editors[1].screen_top = screen_top
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0035-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":35,"on.initialize":33,"fw_app":"broadsheet","on.keychord_press":34,"fw_parent":34,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0034-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, Editors[1].filename, Editors[1].screen_top1)
	elseif chord == 'C-=' then
		initialize_editors(Editors[1].font_height+2, Editors[1].filename, Editors[1].screen_top1)
	elseif chord == 'C--' then
		initialize_editors(Editors[1].font_height-2, Editors[1].screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0034-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":32,"on.initialize":33,"fw_app":"broadsheet","on.keychord_press":34,"fw_parent":33,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0033-on.initialize (----------)

[4.2]

on.initialize = function(arg)
	initialize_editors( --[[font height]] 20, --[[screen_top]] {line=1, pos=1}, arg[1])
end

File addition: 0033-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":32,"on.initialize":33,"fw_app":"broadsheet","on.keychord_press":31,"fw_parent":32,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0032-initialize_editors (----------)

[4.2]

initialize_editors = function(font_height, screen_top, filename)
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = arg[1]
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	Editors[1].screen_top = screen_top
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0032-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":32,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":31,"fw_parent":31,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0031-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, Editors[1].screen_top1)
	elseif chord == 'C-=' then
		initialize_editors(Editors[1].font_height+2, Editors[1].screen_top1)
	elseif chord == 'C--' then
		initialize_editors(Editors[1].font_height-2, Editors[1].screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0031-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":29,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":31,"fw_parent":30,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0030-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	if chord == 'C-0' then
		initialize_editors( --[[font height]] 20, Editors[1].screen_top1)
	else
		for _,editor in ipairs(Editors) do
			edit.keychord_press(editor, chord, key)
		end
	end
end

File addition: 0030-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":29,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":30,"fw_parent":29,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0029-initialize_editors (----------)

[4.2]

initialize_editors = function(font_height, screen_top)
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = arg[1]
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	Editors[1].screen_top = screen_top
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0029-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":29,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":28,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0028-initialize_editors (----------)

[4.2]

initialize_editors = function(font_height, screen_top)
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = arg[1]
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0028-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":28,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":27,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0027-initialize_editors (----------)

[4.2]

initialize_editors = function(font_height, screen_top)
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	print(App.screen.width, editor_width)
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = arg[1]
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0027-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":27,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":26,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0026-initialize_editors (----------)

[4.2]

initialize_editors = function(font_height, screen_top1)
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	print(App.screen.width, editor_width)
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = arg[1]
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0026-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"initialize_editors":26,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":25,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0025-on.initialize (----------)

[4.2]

on.initialize = function(arg)
	initialize_editors( --[[font height]] 20, --[[screen_top]] {line=1, pos=1})
end

File addition: 0025-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"on.initialize":25,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":24,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0024-on.initialize (----------)

[4.2]

on.initialize = function(arg)
	initialize_editors(20)
end

File addition: 0024-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"on.initialize":24,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":23,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

File addition: 0023-on.initialize (----------)

[4.2]

on.initialize = function(arg)
	local font_height = 20
	love.graphics.setFont(love.graphics.newFont(font_height))
	-- initialize multiple editor widgets
	local emwidth = App.newText(love.graphics.getFont(), 'm'):getWidth()
	local editor_width = 40*emwidth
	print(App.screen.width, editor_width)
	local width_remaining = App.screen.width - Margin_left - Margin_right
	local left = Margin_left
	repeat
		local editor =  edit.initialize_state(Margin_top, left, left + math.min(editor_width, width_remaining), font_height, math.floor(font_height*1.3))
		table.insert(Editors, editor)
		width_remaining = width_remaining - editor_width - Margin_left
		left = left + editor_width + Margin_left
	until width_remaining < editor_width
	-- have them all operate on the file's lines
	Editors[1].filename = arg[1]
	load_from_disk(Editors[1])
	Text.redraw_all(Editors[1])
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.lines = Editors[1].lines
		editor.line_cache = Editors[1].line_cache
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		editor.cursor1 = {line=editor.screen_top1.line, pos=editor.screen_top1.pos}
		edit.draw(editor, Text_color)  -- initialize screen_bottom1
	end
end

File addition: 0023-fwmanifest (----------)

[4.2]

{"Editors":6,"on":1,"on.mouse_release":19,"on.initialize":23,"fw_app":"broadsheet","on.keychord_press":14,"fw_parent":22,"on.key_release":15,"on.draw":12,"Cursor_editor":16,"on.mouse_press":20}

increase/decrease font size

Dependencies

In channels

Change contents

Replacement in head at line 1 [3.10815]

File addition: 0040-on.keychord_press (----------)

File addition: 0040-fwmanifest (----------)

File addition: 0039-on.keychord_press (----------)

File addition: 0039-fwmanifest (----------)

File addition: 0038-on.keychord_press (----------)

File addition: 0038-fwmanifest (----------)

File addition: 0037-on.keychord_press (----------)

File addition: 0037-fwmanifest (----------)

File addition: 0036-on.initialize (----------)

File addition: 0036-fwmanifest (----------)

File addition: 0035-initialize_editors (----------)

File addition: 0035-fwmanifest (----------)

File addition: 0034-on.keychord_press (----------)

File addition: 0034-fwmanifest (----------)

File addition: 0033-on.initialize (----------)

File addition: 0033-fwmanifest (----------)

File addition: 0032-initialize_editors (----------)

File addition: 0032-fwmanifest (----------)

File addition: 0031-on.keychord_press (----------)

File addition: 0031-fwmanifest (----------)

File addition: 0030-on.keychord_press (----------)

File addition: 0030-fwmanifest (----------)

File addition: 0029-initialize_editors (----------)

File addition: 0029-fwmanifest (----------)

File addition: 0028-initialize_editors (----------)

File addition: 0028-fwmanifest (----------)

File addition: 0027-initialize_editors (----------)

File addition: 0027-fwmanifest (----------)

File addition: 0026-initialize_editors (----------)

File addition: 0026-fwmanifest (----------)

File addition: 0025-on.initialize (----------)

File addition: 0025-fwmanifest (----------)

File addition: 0024-on.initialize (----------)

File addition: 0024-fwmanifest (----------)

File addition: 0023-on.initialize (----------)

File addition: 0023-fwmanifest (----------)