GTK-stylesheet: change name to gtk-lumiera.css

the mechanism for configuring and locating this file is just fine
and can be retained. Of course, the content of the stylesheet
remains to be ported

data/config/setup.ini

@@ -18,6 +18,6 @@ authors      = Joel Holdsworth|Christian Thäter|Hermann Voßeler|[Other Authors
 copyright    = 2007 - 2013
 
 [Gui]
-stylesheet   = lumiera_ui.rc
+stylesheet   = gtk-lumiera.css
 iconpath     = $ORIGIN/../../share/lumiera/icons:$ORIGIN/gui/icons:~/.lumiera/icons
 resourcepath = $ORIGIN/../../share/lumiera/gui:$ORIGIN/gui

src/SConscript

@@ -43,7 +43,7 @@ envGtk.Append(LIBS=core)
 guimodule = envGtk.LumieraPlugin('gtk_gui', srcSubtree('gui'), install=True)
 gui       = ( guimodule
             + icons
-            + [env.GuiResource(f) for f in env.Glob('gui/*.rc')]
+            + [env.GuiResource(f) for f in env.Glob('gui/*.css')]
             )
 
 

src/gui/window-manager.cpp

@@ -61,6 +61,7 @@ WindowManager::init (string const& iconPath, string const& resourcePath)
 void
 WindowManager::setTheme (string const& stylesheetName)
 {
+  //////////////////////////////////////////////////////////////////////////////////////////TICKET #937 : load here the CSS for GTK3
   gtk_rc_parse (cStr(lib::resolveModulePath (stylesheetName, resourceSerachPath_)));
   gtk_rc_reset_styles (gtk_settings_get_default());
 }