src/contrib/gtk-config-store.cc
changeset 4276 d995bb4131c1
parent 4273 fb4423206618
child 5992 73ea01eb5674
equal deleted inserted replaced
4275:bd3eab705407 4276:d995bb4131c1
   477 
   477 
   478 GtkConfigStore::GtkConfigStore ()
   478 GtkConfigStore::GtkConfigStore ()
   479 {}
   479 {}
   480 
   480 
   481 void 
   481 void 
   482 GtkConfigStore::ConfigureEarly (void)
   482 GtkConfigStore::ConfigureDefaults (void)
   483 {}
   483 {}
   484 
   484 
   485 void 
   485 void 
   486 GtkConfigStore::ConfigureLate (void)
   486 GtkConfigStore::ConfigureAttributes (void)
   487 {
   487 {
   488   GtkWidget *window;
   488   GtkWidget *window;
   489   GtkWidget *view;
   489   GtkWidget *view;
   490   GtkWidget *scroll;
   490   GtkWidget *scroll;
   491 
   491