add missing option to optiongroups

This commit is contained in:
yugecin 2018-10-28 20:44:57 +01:00
parent 4117357f31
commit f01728156a
No known key found for this signature in database
GPG Key ID: 2C5AC035A7068E44

View File

@ -167,6 +167,7 @@ public class OptionGroups {
OPTION_RP_SHOW_GRADES, OPTION_RP_SHOW_GRADES,
OPTION_RP_SHOW_HITS, OPTION_RP_SHOW_HITS,
OPTION_RP_SHOW_ACC, OPTION_RP_SHOW_ACC,
OPTION_RP_SHOW_MOUSECOLUMN,
OPTION_RP_KEYPRESS_DELAY, OPTION_RP_KEYPRESS_DELAY,
}), }),
new OptionTab("MISC", new Option[] { new OptionTab("MISC", new Option[] {