2023-10-17 06:42:55 +01:00
|
|
|
on.keychord_press = function(chord, key)
|
2024-04-26 00:54:14 +01:00
|
|
|
if chord == 'C--' then
|
|
|
|
if Font_size > 2 then
|
|
|
|
Font_size = Font_size - 1
|
|
|
|
love.graphics.setFont(love.graphics.newFont(Font_size))
|
|
|
|
end
|
|
|
|
elseif chord == 'C-=' then
|
|
|
|
Font_size = Font_size + 1
|
|
|
|
love.graphics.setFont(love.graphics.newFont(Font_size))
|
|
|
|
elseif chord == 'C-0' then
|
|
|
|
Font_size = 36
|
|
|
|
love.graphics.setFont(love.graphics.newFont(Font_size))
|
|
|
|
elseif chord == 'C-r' then
|
2023-10-17 06:42:55 +01:00
|
|
|
Rows = ordered_keys(Data)
|
|
|
|
end
|
|
|
|
end
|