Skip to content

don't use F9 & F10 as shortcuts

Christoph Cullmann requested to merge work/less_fXX_shortcuts into master

free these keys for the host applications the word wrap and folding markers stuff isn't that frequently used to really justify using Fxx keys for that, people can still configure this, if they really need it

Merge request reports