@@ -39,8 +39,6 @@ 
     void reconfigTheme();
     bool fallback(FbTk::ThemeItem_base &item);
 
-    void setAntialias(bool antialias);
-
     TextTheme &focusedText()  { return m_focused_text; }
     TextTheme &unfocusedText() { return m_unfocused_text; }
 

@@ -254,7 +254,6 @@ workspace_warping(rm, true, scrname+".workspacewarping", altscrname+".WorkspaceWarping"),
     desktop_wheeling(rm, true, scrname+".desktopwheeling", altscrname+".DesktopWheeling"),
     reverse_wheeling(rm, false, scrname+".reversewheeling", altscrname+".ReverseWheeling"),
     show_window_pos(rm, true, scrname+".showwindowposition", altscrname+".ShowWindowPosition"),
-    antialias(rm, false, scrname+".antialias", altscrname+".Antialias"),
     auto_raise(rm, false, scrname+".autoRaise", altscrname+".AutoRaise"),
     click_raises(rm, true, scrname+".clickRaises", altscrname+".ClickRaises"),
     decorate_transient(rm, false, scrname+".decorateTransient", altscrname+".DecorateTransient"),

@@ -118,7 +118,6 @@ bool clickRaises() const { return *resource.click_raises; }
     bool doOpaqueMove() const { return *resource.opaque_move; }
     bool doFullMax() const { return *resource.full_max; }
     bool doShowWindowPos() const { return *resource.show_window_pos; }
-    bool antialias() const { return *resource.antialias; }
     bool decorateTransient() const { return *resource.decorate_transient; }
     const std::string &windowMenuFilename() const { return *resource.windowmenufile; }
     FbTk::ImageControl &imageControl() { return *m_image_control.get(); }
@@ -436,7 +435,7 @@ 
         FbTk::Resource<bool> image_dither, opaque_move, full_max,
             workspace_warping,
             desktop_wheeling, reverse_wheeling, show_window_pos,            
-            antialias, auto_raise, click_raises, decorate_transient;
+            auto_raise, click_raises, decorate_transient;
         FbTk::Resource<std::string> rootcommand;		
         FbTk::Resource<ResizeModel> resize_model;
         FbTk::Resource<FbWinFrame::TabPlacement> tab_placement;

@@ -202,8 +202,6 @@ "session.colorsPerChannel", "Session.ColorsPerChannel"),
       m_rc_numlayers(m_resourcemanager, 13, "session.numLayers", "Session.NumLayers"),
       m_rc_double_click_interval(m_resourcemanager, 250, "session.doubleClickInterval", "Session.DoubleClickInterval"),
       m_rc_tabs_padding(m_resourcemanager, 0, "session.tabPadding", "Session.TabPadding"),
-      m_rc_focused_tab_min_width(m_resourcemanager, 0, "session.focusTabMinWidth",
-              "Session.FocusTabMinWidth"),
       m_rc_stylefile(m_resourcemanager, DEFAULTSTYLE, "session.styleFile", "Session.StyleFile"),
       m_rc_styleoverlayfile(m_resourcemanager, "~/.fluxbox/overlay", "session.styleOverlay", "Session.StyleOverlay"),
       m_rc_menufile(m_resourcemanager, DEFAULTMENU, "session.menuFile", "Session.MenuFile"),

@@ -128,9 +128,6 @@ const std::string &getAppsFilename() const { return *m_rc_appsfile; }
     int colorsPerChannel() const { return *m_rc_colors_per_channel; }
     int getNumberOfLayers() const { return *m_rc_numlayers; }
     int getTabsPadding() const { return *m_rc_tabs_padding; }
-#ifdef NOT_USED
-    int getFocusedTabMinWidth() const { return *m_rc_focused_tab_min_width; }
-#endif
 
     // class to store layer numbers (special Resource type)
     // we have a special resource type because we need to be able to name certain layers
@@ -246,8 +243,7 @@ FbTk::Resource<bool> m_rc_tabs, 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,
-        m_rc_tabs_padding,
-        m_rc_focused_tab_min_width;
+        m_rc_tabs_padding;
     FbTk::Resource<std::string> m_rc_stylefile,
         m_rc_styleoverlayfile,
         m_rc_menufile, m_rc_keyfile, m_rc_slitlistfile,