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, 1 insertions, 3 deletions

diff --git a/src/Screen.hh b/src/Screen.hh
index 3e062ac..db357d1 100644
--- a/src/Screen.hh
+++ b/src/Screen.hh
@@ -525,10 +525,8 @@ private:
     struct ScreenResource {
         ScreenResource(FbTk::ResourceManager_base &rm, const std::string &scrname);
 
-        static const char workspace_names_delim[];
         FbTk::Resource<
-                std::vector<std::string>,
-                FbTk::VectorTraits<FbTk::StringTraits, workspace_names_delim>
+                std::vector<std::string>, FbTk::VectorTraits<FbTk::StringTraits>
         > workspace_names;
 
         FbTk::BoolResource opaque_move, full_max,