icc complaint about a "possible" conflict between the

FbTk::Menu::update(Subject*) and FbTk::Menu::update(int index)

to avoid this, we rename FbTk::Menu::update(int index) 
    -> FbTk::Menu::updateMenu(int index)

this is mostly cosmetic, but if it makes the life of a compiler happy, well ..
be happy icc :)

3 files changed, 10 insertions, 7 deletions

diff --git a/src/FbTk/Menu.cc b/src/FbTk/Menu.cc
index 2460951..7cf076b 100644
--- a/src/FbTk/Menu.cc
+++ b/src/FbTk/Menu.cc
@@ -398,13 +398,13 @@ void Menu::enableTitle() {
     setTitleVisibility(true);
 }
 
-void Menu::update(int active_index) {
+void Menu::updateMenu(int active_index) {
     if (title_vis) {
         menu.item_w = theme().titleFont().textWidth(menu.label.c_str(),
                                                     menu.label.size());
                 
         menu.item_w += (theme().bevelWidth() * 2);
-    }   else
+    } else
         menu.item_w = 1;
 
     unsigned int ii = 0;
@@ -626,7 +626,7 @@ void Menu::update(int active_index) {
 void Menu::show() {
 
     if (m_need_update)
-        update();
+        updateMenu();
 
     menu.window.showSubwindows();
     menu.window.show();
@@ -677,7 +677,7 @@ void Menu::clearWindow() {
     if (alpha() < 255) {
         renderTransp(0, 0,
                      menu.frame.width(), menu.frame.height());
-        update();
+        updateMenu();
     }
 
     menu.title.clear();
@@ -1368,7 +1368,7 @@ void Menu::keyPressEvent(XKeyEvent &event) {
             menuitems[which_press]->click(1, event.time);
             itemSelected(1, which_press);
             m_need_update = true;
-            update();
+            updateMenu();
         }
         break;
     default:
@@ -1413,7 +1413,7 @@ void Menu::reconfigure() {
     menu.title.setBorderWidth(theme().borderWidth());
     
 
-    update();
+    updateMenu();
 
 }
     
diff --git a/src/FbTk/Menu.hh b/src/FbTk/Menu.hh
index 04b440c..423b80a 100644
--- a/src/FbTk/Menu.hh
+++ b/src/FbTk/Menu.hh
@@ -117,7 +117,7 @@ public:
     void setLabel(const char *labelstr);
     /// move menu to x,y
     void move(int x, int y);
-    virtual void update(int active_index = -1);
+    virtual void updateMenu(int active_index = -1);
     void setItemSelected(unsigned int index, bool val);
     void setItemEnabled(unsigned int index, bool val);
     inline void setMinimumSublevels(int m) { menu.minsub = m; }
diff --git a/src/FbTk/Theme.hh b/src/FbTk/Theme.hh
index 7b83122..338c24b 100644
--- a/src/FbTk/Theme.hh
+++ b/src/FbTk/Theme.hh
@@ -135,6 +135,9 @@ public:
 
     bool verbose() const { return m_verbose; }
     void setVerbose(bool value) { m_verbose = value; }
+
+    // dump theme out to filename, stdout if no filename is given
+    void dump(Theme& theme, const char* filename = 0) const;
     //    void listItems();
 private:
     ThemeManager();