akkartik/sokoban.love - Change PRE6XPRNICDCHMF7C45A6DRPVT47IPAIWW6Q7AHNGW3D2PBGOPNAC

responsively increase/decrease font height

Only using hotkeys for now, which are only available on non-mobile devices, and not very discoverable. But this is an accessibility foundation.

Created by akkartik on November 15, 2023

PRE6XPRNICDCHMF7C45A6DRPVT47IPAIWW6Q7AHNGW3D2PBGOPNAC

Dependencies

In channels

main

Change contents

File addition: 0032-update_font_settings (----------)

[3.2]

update_font_settings = function(font_height)
	love.graphics.setFont(love.graphics.newFont(font_height))
	Line_height = math.floor(love.graphics.getFont():getHeight()*1.3)
	Line_number_padding = Line_number_width*App.width('m')
	Menu_height = 5 + Line_height + 5
	Menu_bottom = Menu_top + Menu_height
	Editor_state.top = Menu_bottom + 20
	Editor_state.left = Menu_left + 50 + Line_number_padding
	Editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)
	Editor_state.width = Editor_state.right - Editor_state.left
	edit.update_font_settings(Editor_state, font_height)
	Text.redraw_all(Editor_state)
end

Insertion in 0031-on.resize at line 5 [2.1]
[2.215]
[2.215]
```
	Editor_state.bottom = Safe_height/2-5
```
Replacement in 0027-Menu_background at line 1 [4.391]
B:BD[4.391] → [4.392:431]
```
Menu_background = {r=0.2, g=0.2, b=0.2}
```
[4.391]
```
Menu_background = {r=0.6, g=0.8, b=0.6}
```

Replacement in 0021-draw_menu at line 4 [4.704]

B:BD[4.825] → [4.825:948]

	button(Editor_state, 'run', {x=Menu_left+5, y=Menu_top+5, w=App.width('Run')+10, h=Line_height, bg={r=0.5, g=0.8, b=0.5},

[4.825]

[4.948]

	-- main buttons
	button(Editor_state, 'run', {x=Menu_left+5, y=Menu_top+5, w=App.width('Run')+10, h=Line_height, bg={r=0.6, g=0.8, b=0.6},

Insertion in 0021-draw_menu at line 8 [4.704]

[4.995]

			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)

Insertion in 0021-draw_menu at line 13 [4.704]

[4.1085]

		end,
	})
	-- settings button on right
	local w = App.width('settings')
	button(Editor_state, 'settings', {x=Safe_width-w-10-5, y=Menu_top+5, w=w+10, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color{r=0,g=0,b=0}
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('settings', p.x+5,p.y+2)
		end,
		onpress1 = function()
			print('settings')

Insertion in 0021-draw_menu at line 27 [4.704]

[4.1096]

	-- nav buttons along sides
	button(Editor_state, 'left', {x=0, y=Menu_bottom, w=Menu_left+30, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
		icon = function(p)
			App.color{r=0.4,g=0.4,b=0.4}
			love.graphics.polygon('fill', Menu_left+5, App.screen.height/2, Menu_left+25, App.screen.height/2-10, Menu_left+25, App.screen.height/2+10)
		end,
	})
	local r = Menu_left + Safe_width
	button(Editor_state, 'left', {x=r-30, y=Menu_bottom, w=100, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
		icon = function(p)
			App.color{r=0.4,g=0.4,b=0.4}
			love.graphics.polygon('fill', r-25, App.screen.height/2-10, r-25, App.screen.height/2+10,  r-5, App.screen.height/2)
		end,
	})

Replacement in 0013-on.keychord_press at line 2 [5.2758]

B:BD[5.2800] → [5.2800:2847]

	edit.keychord_press(Editor_state, chord, key)

[5.2800]

[5.2847]

	if chord == 'C-=' then
		update_font_settings(Editor_state.font_height+2)
	elseif chord == 'C--' then
		update_font_settings(Editor_state.font_height-2)
	elseif chord == 'C-0' then
		update_font_settings(20)
	else
		edit.keychord_press(Editor_state, chord, key)
	end

Replacement in 0011-on.initialize at line 11 [5.3075]
B:BD[2.580] → [2.580:596]
```
		100,  -- left
```
[2.580]
[2.596]
```
		Menu_left + 50 + Line_number_padding,  -- left
```