chiark - git - mdw - e16/blob - config/winops_misc.menu

   1 "Miscellaneous" "EMPTY"
   2 "Toggle Skip Window Lists" NULL "wop * skiplists"
   3 "Toggle Fixed Position" NULL "wop * no_user_move"
   4 "Toggle Fixed Size"     NULL "wop * no_user_size"
   5 "Toggle Never Focus"    NULL "wop * no_wm_focus"
   6 "Toggle Click to Focus" NULL "wop * focusclick"
   7 "Toggle Never Use Area" NULL "wop * never_use_area"
   8 "Toggle Button Grabs"   NULL "wop * no_button_grabs"
   9 "Toggle Autoshade"      NULL "wop * autoshade"