From a6f0d53dbf82c622e7e24247380b85948b0f976f Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Wed, 7 Nov 2012 20:35:55 +0100
Subject: [PATCH] Remote unused Context::change_ui

---
 src/context.hh | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/context.hh b/src/context.hh
index 9fc63ed8..fc491fde 100644
--- a/src/context.hh
+++ b/src/context.hh
@@ -79,11 +79,6 @@ struct Context
             window().set_dimensions(ui().dimensions());
     }
 
-    void change_ui(UserInterface& ui)
-    {
-        m_ui.reset(&ui);
-    }
-
     OptionManager& options() const
     {
         if (has_window())