Fix handling of \values keyword#3718

FliegendeWurst wants to merge 3 commits intoKeYProject:mainKeYProject/key:mainfrom

FliegendeWurst:fixValuesKeywordFliegendeWurst/key:fixValuesKeywordCopy head branch name to clipboard