+ else if (strcmp (key, "taskbar_name") == 0) {
+ taskbarname_enabled = atoi (value);
+ }
+ else if (strcmp (key, "taskbar_name_background_id") == 0) {
+ }
+ else if (strcmp (key, "taskbar_name_active_background_id") == 0) {
+ }
+ else if (strcmp (key, "taskbar_font_color") == 0) {
+ }
+ else if (strcmp (key, "taskbar_active_font_color") == 0) {
+ }