diff --git a/src/gui/widgets/mini-button.cpp b/src/gui/widgets/mini-button.cpp
index 912eae2b5..76fda41c6 100644
--- a/src/gui/widgets/mini-button.cpp
+++ b/src/gui/widgets/mini-button.cpp
@@ -37,7 +37,14 @@ MiniButton::MiniButton(const StockID& stock_id,
   add(image);
   set_relief(RELIEF_NONE);
   set_focus_on_click(false);
-}  
+}
+
+void
+MiniButton::set_stock_id(const StockID& stock_id,
+  const IconSize icon_size)
+{
+  image.set(stock_id, icon_size);
+}
 
 } // widgets
 } // gui
diff --git a/src/gui/widgets/mini-button.hpp b/src/gui/widgets/mini-button.hpp
index a55857c43..0327d35d8 100644
--- a/src/gui/widgets/mini-button.hpp
+++ b/src/gui/widgets/mini-button.hpp
@@ -47,6 +47,9 @@ public:
   MiniButton(const Gtk::StockID& stock_id,
     const Gtk::IconSize icon_size = Gtk::ICON_SIZE_LARGE_TOOLBAR);
   
+  void set_stock_id(const Gtk::StockID& stock_id,
+    const Gtk::IconSize icon_size = Gtk::ICON_SIZE_LARGE_TOOLBAR);
+  
 private:
   
   Gtk::Image image;