From 299d54c6ecc668310c62664b63111acfed3af81c Mon Sep 17 00:00:00 2001
From: thomasv <thomasv@gitorious>
Date: Thu, 11 Oct 2012 13:18:04 +0200
Subject: [PATCH] fix: the gtk gui was broken since server_list_changed was
 introduced...

---
 lib/gui.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/gui.py b/lib/gui.py
index 462aca83..13c43d53 100644
--- a/lib/gui.py
+++ b/lib/gui.py
@@ -1308,3 +1308,6 @@ class ElectrumGui():
 
     def restore_or_create(self):
         return restore_create_dialog(self.wallet)
+
+    def server_list_changed(self):
+        pass