config/standard/module.pager.src

   1 group "Pager_Config" struct {
   2   value "popup" uint: 1;
   3   value "popup_speed" double: 1.0;
   4   value "popup_urgent" uint: 1;
   5   value "popup_urgent_stick" uint: 0;
   6   value "popup_urgent_speed" double: 1.5;
   7   value "show_desk_names" uint: 0;
   8   value "popup_height" int: 60;
   9   value "popup_act_height" int: 60;
  10   value "drag_resist" uint: 3;
  11   value "btn_drag" uchar: 0;
  12   value "btn_noplace" uchar: 1;
  13   value "btn_desk" uchar: 2;
  14   value "flip_desk" uchar: 0;
  15   value "disable_live_preview" uchar: 1;
  16 }