2008-08-21 23:55:37 -07:00
|
|
|
group "Pager_Config" struct {
|
|
|
|
value "popup" uint: 1;
|
2008-10-26 02:04:05 -07:00
|
|
|
value "popup_speed" double: 1.0000000000000000000000000;
|
2008-08-21 23:55:37 -07:00
|
|
|
value "popup_urgent" uint: 0;
|
|
|
|
value "popup_urgent_stick" uint: 0;
|
2008-10-26 02:04:05 -07:00
|
|
|
value "popup_urgent_speed" double: 1.5000000000000000000000000;
|
|
|
|
value "show_desk_names" uint: 0;
|
2008-08-21 23:55:37 -07:00
|
|
|
value "popup_height" int: 60;
|
|
|
|
value "popup_act_height" int: 60;
|
|
|
|
value "drag_resist" uint: 3;
|
|
|
|
value "btn_drag" uchar: 1;
|
|
|
|
value "btn_noplace" uchar: 2;
|
|
|
|
value "btn_desk" uchar: 0;
|
|
|
|
value "flip_desk" uchar: 0;
|
|
|
|
}
|