adjust some default config values like desktop name and pager.

SVN revision: 75936
This commit is contained in:
Carsten Haitzler 2012-09-02 03:54:06 +00:00
parent 7a86fdce05
commit 6e9eb3dc61
4 changed files with 8 additions and 8 deletions

View File

@ -2,7 +2,7 @@ group "E_Config" struct {
value "config_version" int: 65865;
value "show_splash" int: 0;
value "init_default_theme" string: "default.edj";
value "desktop_default_name" string: "Desktop %i, %i";
value "desktop_default_name" string: "%i-%i";
value "menus_scroll_speed" double: 1000.0;
value "menus_fast_mouse_move_threshhold" double: 300.0;
value "menus_click_drag_timeout" double: 0.25;

View File

@ -2,7 +2,7 @@ group "E_Config" struct {
value "config_version" int: 65865;
value "show_splash" int: 1;
value "init_default_theme" string: "default.edj";
value "desktop_default_name" string: "Desktop %i, %i";
value "desktop_default_name" string: "%i-%i";
value "menus_scroll_speed" double: 1000.0000000000000000000000000;
value "menus_fast_mouse_move_threshhold" double: 300.0000000000000000000000000;
value "menus_click_drag_timeout" double: 0.2500000000000000000000000;

View File

@ -2,7 +2,7 @@ group "E_Config" struct {
value "config_version" int: 65865;
value "show_splash" int: 1;
value "init_default_theme" string: "default.edj";
value "desktop_default_name" string: "Desktop %i, %i";
value "desktop_default_name" string: "%i-%i";
value "menus_scroll_speed" double: 1000.0;
value "menus_fast_mouse_move_threshhold" double: 300.0;
value "menus_click_drag_timeout" double: 0.25;

View File

@ -1,15 +1,15 @@
group "Pager_Config" struct {
value "popup" uint: 1;
value "popup_speed" double: 1.0000000000000000000000000;
value "popup_urgent" uint: 0;
value "popup_speed" double: 1.0;
value "popup_urgent" uint: 1;
value "popup_urgent_stick" uint: 0;
value "popup_urgent_speed" double: 1.5000000000000000000000000;
value "popup_urgent_speed" double: 1.5;
value "show_desk_names" uint: 0;
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_drag" uchar: 0;
value "btn_noplace" uchar: 1;
value "btn_desk" uchar: 2;
value "flip_desk" uchar: 0;
value "disable_live_preview" uchar: 1;