--- a/Applications/Generic/GuiAdapter.h	Tue Feb 04 15:24:03 2020 +0100
+++ b/Applications/Generic/GuiAdapter.h	Sun Feb 23 15:32:24 2020 +0100
@@ -233,8 +233,6 @@
       instanceCount = 1;
     }
 
-    void RegisterWidget(boost::shared_ptr<IGuiAdapterWidget> widget);
-    
     /**
       emscripten_set_resize_callback("#window", NULL, false, OnWindowResize);
 
@@ -359,21 +357,5 @@
     deals with this)
     */
     void ViewportsUpdateSize();
-
-    std::vector<boost::weak_ptr<IGuiAdapterWidget> > widgets_;
-
-    template<typename F> void VisitWidgets(F func)
-    {
-      for (size_t i = 0; i < widgets_.size(); i++)
-      {
-        boost::shared_ptr<IGuiAdapterWidget> widget = widgets_[i].lock();
-
-        // TODO: we need to clean widgets!
-        if (widget.get() != NULL)
-        {
-          func(widget);
-        }
-      }
-    }
   };
 }