change API based on comments from tom.
authorMathieu Lacage <mathieu.lacage@sophia.inria.fr>
Mon, 09 Mar 2009 19:45:47 +0100
changeset 4276 d995bb4131c1
parent 4275 bd3eab705407
child 4277 196e20a32b50
change API based on comments from tom.
src/contrib/config-store.cc
src/contrib/config-store.h
src/contrib/gtk-config-store.cc
src/contrib/gtk-config-store.h
--- a/src/contrib/config-store.cc	Mon Mar 09 19:40:44 2009 +0100
+++ b/src/contrib/config-store.cc	Mon Mar 09 19:45:47 2009 +0100
@@ -120,7 +120,7 @@
 }
 
 void 
-ConfigStore::ConfigureLate (void)
+ConfigStore::ConfigureAttributes (void)
 {
   m_file->Attributes ();
   if (m_mode == ConfigStore::SAVE)
@@ -133,7 +133,7 @@
 }
 
 void 
-ConfigStore::ConfigureEarly (void)
+ConfigStore::ConfigureDefaults (void)
 {
   m_file->Default ();
   m_file->Global ();
--- a/src/contrib/config-store.h	Mon Mar 09 19:40:44 2009 +0100
+++ b/src/contrib/config-store.h	Mon Mar 09 19:45:47 2009 +0100
@@ -46,8 +46,8 @@
   void SetFileFormat (enum FileFormat format);
   void SetFilename (std::string filename);
 
-  void ConfigureEarly (void);
-  void ConfigureLate (void);
+  void ConfigureDefaults (void);
+  void ConfigureAttributes (void);
 
 private:
   enum Mode m_mode;
--- a/src/contrib/gtk-config-store.cc	Mon Mar 09 19:40:44 2009 +0100
+++ b/src/contrib/gtk-config-store.cc	Mon Mar 09 19:45:47 2009 +0100
@@ -479,11 +479,11 @@
 {}
 
 void 
-GtkConfigStore::ConfigureEarly (void)
+GtkConfigStore::ConfigureDefaults (void)
 {}
 
 void 
-GtkConfigStore::ConfigureLate (void)
+GtkConfigStore::ConfigureAttributes (void)
 {
   GtkWidget *window;
   GtkWidget *view;
--- a/src/contrib/gtk-config-store.h	Mon Mar 09 19:40:44 2009 +0100
+++ b/src/contrib/gtk-config-store.h	Mon Mar 09 19:45:47 2009 +0100
@@ -11,8 +11,8 @@
 public:
   GtkConfigStore ();
 
-  void ConfigureEarly (void);
-  void ConfigureLate (void);
+  void ConfigureDefaults (void);
+  void ConfigureAttributes (void);
 };