Enable the resource traits classes to hold non-static members

ps: the Resource class inherits from the Traits class instead of holding it as a member because
it's more size-efficient (base classes can have zero size, members cannot).

1 files changed, 2 insertions, 3 deletions

diff --git a/src/Screen.cc b/src/Screen.cc
index cb86c73..e4eca07 100644
--- a/src/Screen.cc
+++ b/src/Screen.cc
@@ -242,11 +242,10 @@ const EnumTraits<FbWinFrame::TabPlacement>::Pair EnumTraits<FbWinFrame::TabPlace
 } // end namespace FbTk
 
 
-const char BScreen::ScreenResource::workspace_names_delim[] = ",";
-
 BScreen::ScreenResource::ScreenResource(FbTk::ResourceManager_base &rm,
                                         const string &scrname):
-    workspace_names(rm, std::vector<std::string>(), scrname + ".workspaceNames"),
+    workspace_names(rm, std::vector<std::string>(), scrname + ".workspaceNames",
+            FbTk::VectorTraits<FbTk::StringTraits>(",") ),
     opaque_move(rm, true, scrname + ".opaqueMove"),
     full_max(rm, false, scrname+".fullMaximization"),
     max_ignore_inc(rm, true, scrname+".maxIgnoreIncrement"),