Display_settings.palette_index = 1
elseif chord == 'up' then
if Display_settings.palette_index > 1 then
Display_settings.palette_index = Display_settings.palette_index-1
end
elseif chord == 'down' then
if Display_settings.palette_index < #candidates() then
Display_settings.palette_index = Display_settings.palette_index+1
end
elseif chord == 'left' then
if Display_settings.palette_index > Palette_alternatives_height then
Display_settings.palette_index = Display_settings.palette_index-Palette_alternatives_height
end
elseif chord == 'right' then
if Display_settings.palette_index <= #candidates()-Palette_alternatives_height then
Display_settings.palette_index = Display_settings.palette_index+Palette_alternatives_height
end