X-Git-Url: https://git.dogcows.com/gitweb?a=blobdiff_plain;f=src%2Fconfig.c;h=8ba2c08f9602d583c8f12f49e7fea29e0ea82ef3;hb=cb9b34cd2126963c3650feeb48e036fb256e9660;hp=dc4a30ace2397a89e60b99afc111edf3e164c883;hpb=fc22af941cf7b9db65a703e9e697490119c70ec2;p=chaz%2Ftint2 diff --git a/src/config.c b/src/config.c index dc4a30a..8ba2c08 100644 --- a/src/config.c +++ b/src/config.c @@ -3,7 +3,7 @@ * Tint2 : read/write config file * * Copyright (C) 2007 PÃ¥l Staurland (staura@gmail.com) -* Modified (C) 2008 thierry lorthiois (lorthiois@bbsoft.fr) +* Modified (C) 2008 thierry lorthiois (lorthiois@bbsoft.fr) from Omega distribution * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License version 2 @@ -454,15 +454,14 @@ void add_entry (char *key, char *value) else if (strcmp (key, "taskbar_background_id") == 0) { int id = atoi (value); id = (id < backgrounds->len && id >= 0) ? id : 0; - panel_config.g_taskbar.bg = &g_array_index(backgrounds, Background, id); - if (panel_config.g_taskbar.bg_active == 0) - panel_config.g_taskbar.bg_active = panel_config.g_taskbar.bg; - panel_config.g_taskbar.area.bg = panel_config.g_taskbar.bg; + panel_config.g_taskbar.background[TASKBAR_NORMAL] = &g_array_index(backgrounds, Background, id); + if (panel_config.g_taskbar.background[TASKBAR_ACTIVE] == 0) + panel_config.g_taskbar.background[TASKBAR_ACTIVE] = panel_config.g_taskbar.background[TASKBAR_NORMAL]; } else if (strcmp (key, "taskbar_active_background_id") == 0) { int id = atoi (value); id = (id < backgrounds->len && id >= 0) ? id : 0; - panel_config.g_taskbar.bg_active = &g_array_index(backgrounds, Background, id); + panel_config.g_taskbar.background[TASKBAR_ACTIVE] = &g_array_index(backgrounds, Background, id); } else if (strcmp (key, "taskbar_name") == 0) { taskbarname_enabled = atoi (value); @@ -471,9 +470,11 @@ void add_entry (char *key, char *value) } else if (strcmp (key, "taskbar_name_active_background_id") == 0) { } - else if (strcmp (key, "taskbar_font_color") == 0) { + else if (strcmp (key, "taskbar_name_font") == 0) { } - else if (strcmp (key, "taskbar_active_font_color") == 0) { + else if (strcmp (key, "taskbar_name_font_color") == 0) { + } + else if (strcmp (key, "taskbar_name_active_font_color") == 0) { } /* Task */ @@ -588,8 +589,9 @@ void add_entry (char *key, char *value) panel_config.launcher.list_apps = g_slist_append(panel_config.launcher.list_apps, app); } else if (strcmp(key, "launcher_icon_theme") == 0) { - char *app = strdup(value); - panel_config.launcher.icon_theme_names = g_slist_append(panel_config.launcher.icon_theme_names, app); + // if XSETTINGS manager running, tint2 use it. + if (!icon_theme_name) + icon_theme_name = strdup(value); } /* Tooltip */