akkartik/sokoban.love - Change Q3EQI5LIQVRRX234KDA4WBAAQFVER4F2DQLS62AO4B7F42N7ODFQC

some keyboard shortcuts on non-mobile devices

Hopefully this is easy to remember from left to right:

run is F1
stop is F2
hide/show is F3
save is F4
load is F5

There are also tooltips to introduce these shortcuts to newcomers.

Most of the shortcuts are only enabled when code is visible. In keeping with existing conventions for mouse events, we leave most event handlers for the script when code is hidden. The only exception is 'F3' to show code. So if you want to use a shortcut 'k' when code is hidden, you have to instead use 'F3 k F3'.

This is all tentative and open to change. But I'll probably grow more reluctant to change the shortcuts in a few weeks or months.

Created by akkartik on February 22, 2024

Q3EQI5LIQVRRX234KDA4WBAAQFVER4F2DQLS62AO4B7F42N7ODFQC

Dependencies

In channels

main

Change contents

Insertion in button.lua at line 35 [5.2058]

[4.214]

[5.2671]

end
function draw_button_tooltips(State)
  if App.mouse_down(1) then return end
  local x,y = love.mouse.getPosition()
  for _,ev in ipairs(State.button_handlers) do
    if ev.tooltip then
      if x>ev.x and x<ev.x+ev.w and y>ev.y and y<ev.y+ev.h then
        ev.tooltip(x,y)
      end
    end
  end

File addition: 0175-show_tooltip (----------)

[6.2]

show_tooltip = function(x,y, tooltip_text)
	if not tooltip_text then return end
	App.color(Tooltip_background)
	local w = App.width(tooltip_text)
	love.graphics.rectangle('fill', x,y, w+10, Line_height+10, 2,2)
	App.color(Tooltip_foreground)
	love.graphics.print(tooltip_text, x+5, y+5)
end

File addition: 0174-Is_mobile (----------)
[6.2]
```
Is_mobile = (OS == 'Android' or OS == 'iOS')
```
File addition: 0173-Tooltip_foreground (----------)
[6.2]
```
Tooltip_foreground = {r=0, g=0, b=0}
```
File addition: 0172-Tooltip_background (----------)
[6.2]
```
Tooltip_background = {r=0.8, g=0.8, b=0.8}
```
Insertion in 0168-press_previous_pane_button at line 3 [3.1]
[3.59]
[3.59]
```
	if Current_pane_index <=1 then return end
```
Insertion in 0167-press_next_pane_button at line 3 [3.259]
[3.313]
[3.313]
```
	if Current_pane_index >= #Panes then return end
```

Replacement in 0124-styled_button at line 1 [7.1]

B:BD[7.1] → [7.2:49]

styled_button = function(name, x, y, onpress1)

[7.1]

[8.583]

styled_button = function(name, x, y, onpress1, tooltip_text)

Insertion in 0124-styled_button at line 20 [7.1]

[9.514]

[7.342]

		tooltip = function(x,y)
			show_tooltip(x,y+20, tooltip_text)
		end,

Replacement in 0124-styled_button at line 24 [7.1]
B:BD[7.346] → [8.618:622]
```
end
```
[7.346]
```
end
```

Replacement in 0118-overflowable_button at line 3 [11.49]

B:BD[7.515] → [10.51:121]

overflowable_button = function(name, x, y, r, onpress1, final_button)

[7.515]

[8.677]

overflowable_button = function(name, x, y, r, onpress1, final_button, tooltip_text)

Replacement in 0118-overflowable_button at line 14 [11.49]
B:BD[11.301] → [7.516:552]
```
	styled_button(name, x,y, onpress1)
```
[11.301]
[11.568]
```
	styled_button(name, x,y, onpress1, tooltip_text)
```
Replacement in 0118-overflowable_button at line 20 [11.49]
B:BD[11.649] → [10.192:196]
```
end
```
[11.649]
```
end
```

Replacement in 0117-load_button at line 3 [12.2422]

B:BD[12.2500] → [12.2500:2513]

B:BD[12.2513] → [13.35:54]

∅:D[14.54] → [12.2570:2642]

∅:D[13.54] → [12.2570:2642]

B:BD[12.2570] → [12.2570:2642]

B:BD[12.2642] → [15.2721:2824]

∅:D[15.2824] → [12.2642:2699]

B:BD[12.2642] → [12.2642:2699]

B:BD[12.2699] → [16.57:247]

∅:D[16.247] → [12.2699:2713]

B:BD[12.2699] → [12.2699:2713]

		function()
			Show_menu = nil
			Show_file_dialog = true
			File_dialog_callback = function(filename)
				if filename == '' then
					-- clear filename
					Current_pane.filename = nil
					return
				end
				Current_pane.filename = filename
				one_time_load()
				-- Load new filename in future sessions.
				-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
				love.filesystem.write('config', json.encode(settings()))
			end
		end)

[12.2500]

[16.248]

		press_load_button, --[[final button?]] false, not Is_mobile and Show_code and 'F5')

Replacement in 0116-save_button at line 2 [12.2758]

B:BD[12.2791] → [3.2981:3045]

	return overflowable_button('save', x, y, r, press_save_button)

[12.2791]

[16.447]

	return overflowable_button('save', x, y, r, press_save_button, --[[final button?]] false, not Is_mobile and Show_code and 'F4')

Replacement in 0106-stop_button at line 2 [18.41]

B:BD[17.1362] → [3.3055:3102]

	styled_button('stop', x,y, press_stop_button)

[17.1362]

[8.760]

	styled_button('stop', x,y, press_stop_button, not Is_mobile and Show_code and 'F2')

Replacement in 0065-hide_code_button at line 2 [19.4728]

B:BD[17.3098] → [3.3139:3203]

	return overflowable_button('hide', x, y, r, press_hide_button)

[17.3098]

[3.3203]

	return overflowable_button('hide', x, y, r, press_hide_button, nil, not Is_mobile and 'F3')

Replacement in 0064-show_code_button at line 2 [19.5167]

B:BD[20.109] → [3.3208:3272]

	return overflowable_button('show', x, y, r, press_show_button)

[20.109]

[3.3272]

	return overflowable_button('show', x, y, r, press_show_button, nil, not Is_mobile and 'F3')

Insertion in 0060-next_pane_button at line 8 [19.6220]

[3.3316]

[19.6668]

		tooltip = function(x,y)
			local w = App.width('ctrl+right')
			show_tooltip(x-w-10,y+20, not Is_mobile and Show_code and 'ctrl+right')
		end,

Insertion in 0059-previous_pane_button at line 8 [19.6723]

[3.3363]

[19.7211]

		tooltip = function(x,y)
			show_tooltip(x,y+20, not Is_mobile and Show_code and 'ctrl+left')
		end,

Replacement in 0051-run_button at line 2 [21.1]

B:BD[17.3980] → [3.3373:3418]

	styled_button('run', x,y, press_run_button)

[17.3980]

[8.981]

	styled_button('run', x,y, press_run_button, not Is_mobile and Show_code and 'F1')

Insertion in 0012-on.draw at line 27 [23.2899]
[22.2223]
[2.146]
```
	draw_button_tooltips(Global_state)
```

some keyboard shortcuts on non-mobile devices

Dependencies

In channels

Change contents

Insertion in button.lua at line 35 [5.2058]

File addition: 0175-show_tooltip (----------)

File addition: 0174-Is_mobile (----------)

File addition: 0173-Tooltip_foreground (----------)

File addition: 0172-Tooltip_background (----------)

Insertion in 0168-press_previous_pane_button at line 3 [3.1]

Insertion in 0167-press_next_pane_button at line 3 [3.259]