console.lua: default to a proportional font for select #7490

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
editorconfig-lint	7s
lua-lint	6s
commit-msg	3s
python-lint	9s
swift-lint	26s
	51s