new names for theme items, the new names are menu.bevelWidth menu.borderWidth menu.borderColor

1 files changed, 3 insertions, 1 deletions

diff --git a/src/FbTk/MenuTheme.hh b/src/FbTk/MenuTheme.hh
index 7b1cca6..e81a2f2 100644
--- a/src/FbTk/MenuTheme.hh
+++ b/src/FbTk/MenuTheme.hh
@@ -19,7 +19,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: MenuTheme.hh,v 1.8 2003/08/27 14:07:16 fluxgen Exp $
+// $Id: MenuTheme.hh,v 1.9 2003/09/12 23:32:02 fluxgen Exp $
 
 #ifndef FBTK_MENUTHEME_HH
 #define FBTK_MENUTHEME_HH
@@ -43,6 +43,8 @@ public:
 
     void reconfigTheme();
 
+    bool fallback(ThemeItem_base &item);
+
     /**
        @name text colors
     */