M src/fluxbox.cc → src/fluxbox.cc

@@ -194,7 +194,6 @@ m_fbatoms(new FbAtoms()),
       m_resourcemanager(rcfilename, true),
       // TODO: shouldn't need a separate one for screen
       m_screen_rm(m_resourcemanager),
-      m_rc_tabs(m_resourcemanager, true, "session.tabs", "Session.Tabs"),
       m_rc_ignoreborder(m_resourcemanager, false, "session.ignoreBorder", "Session.IgnoreBorder"),
       m_rc_pseudotrans(m_resourcemanager, false, "session.forcePseudoTransparency", "Session.forcePseudoTransparency"),
       m_rc_colors_per_channel(m_resourcemanager, 4,

M src/fluxbox.hh → src/fluxbox.hh

@@ -239,7 +239,7 @@ FbTk::ResourceManager m_resourcemanager, &m_screen_rm;
 
     //--- Resources
 
-    FbTk::Resource<bool> m_rc_tabs, m_rc_ignoreborder;
+    FbTk::Resource<bool> m_rc_ignoreborder;
     FbTk::Resource<bool> m_rc_pseudotrans;
     FbTk::Resource<int> m_rc_colors_per_channel, m_rc_numlayers,
         m_rc_double_click_interval,