# HG changeset patch # User Jeremy Thurgood # Date 1316300241 -7200 # Node ID dc5fdd7b3ce527a3b710994fb5a9155f121c0ebe # Parent 01ef685191d3ea312e1d5151528c72d3a92439ab Defocus while we still have the focused things to defocus. Otherwise we crash in a way that makes confluence sad. diff -r 01ef685191d3 -r dc5fdd7b3ce5 mamba/habitats/levelmenu.py --- a/mamba/habitats/levelmenu.py Sun Sep 18 00:57:10 2011 +0200 +++ b/mamba/habitats/levelmenu.py Sun Sep 18 00:57:21 2011 +0200 @@ -111,6 +111,7 @@ self.container.adjust_focus(1) def change_page(self, ev, widget, direction): + self.container.defocus() self.page += direction self.setup_levels() return True