// $XKeyboardConfig: xkbdesc/symbols/level5,v 1.1 2005/10/17 00:38:54 svu Exp $// these variants assign various XKB keycodes to ISO_Level5_Shift so that// the third shift level can be reached//// $XFree86: xc/programs/xkbcomp/symbols/level3,v 1.7 2003/09/08 14:25:32 eich Exp $//// using the level(switch) map, the right Control key temporarily// chooses the fifth shift level (until it is released).partial modifier_keysxkb_symbols "rctrl_switch" {  key <RCTL> {    type[Group1]="ONE_LEVEL",    symbols[Group1] = [ F35 ]    };  modifier_map Mod5   { F35 };};