FileManager statement from old config should never be scanned again.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Wed, 15 Oct 2014 23:21:10 +0000 (02:21 +0300)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Wed, 15 Oct 2014 23:21:10 +0000 (02:21 +0300)
ChangeLog
plugins/pager.c
src/configurator.c

index 9762d38..cd92305 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,7 @@
     the desktop menu.
 * Fixed crash in taskbar after visible task changed name then gone.
 * Ensured panel background update after some plugin was resized.
     the desktop menu.
 * Fixed crash in taskbar after visible task changed name then gone.
 * Ensured panel background update after some plugin was resized.
+* FileManager statement from old config should never be scanned again.
 
 0.7.1
 -------------------------------------------------------------------------
 
 0.7.1
 -------------------------------------------------------------------------
index 7d723da..c5e9ed3 100644 (file)
@@ -130,6 +130,7 @@ static gboolean pager_update_context_menu(GtkWidget *plugin, GtkMenu *menu)
         /* disable 'Settings' menu item */
         gtk_container_foreach(GTK_CONTAINER(menu), pager_menu_callback, NULL);
     }
         /* disable 'Settings' menu item */
         gtk_container_foreach(GTK_CONTAINER(menu), pager_menu_callback, NULL);
     }
+    /* FIXME: else replace 'Settings' item label with "Launch Workspaces Configurator (%s)" */
     g_free(path);
     return FALSE;
 }
     g_free(path);
     return FALSE;
 }
index fc75b46..8056731 100644 (file)
@@ -1614,6 +1614,7 @@ void load_global_config()
                 g_object_unref(l->data);
             g_list_free(apps);
             g_free(tmp);
                 g_object_unref(l->data);
             g_list_free(apps);
             g_free(tmp);
+            save_global_config();
         }
     }
     g_key_file_free( kf );
         }
     }
     g_key_file_free( kf );