Handle selection of an extension from the list.
(self, event)
| 2004 | }) |
| 2005 | |
| 2006 | def extension_selected(self, event): |
| 2007 | "Handle selection of an extension from the list." |
| 2008 | newsel = self.extension_list.curselection() |
| 2009 | if newsel: |
| 2010 | newsel = self.extension_list.get(newsel) |
| 2011 | if newsel is None or newsel != self.current_extension: |
| 2012 | if self.current_extension: |
| 2013 | self.details_frame.config(text='') |
| 2014 | self.config_frame[self.current_extension].grid_forget() |
| 2015 | self.current_extension = None |
| 2016 | if newsel: |
| 2017 | self.details_frame.config(text=newsel) |
| 2018 | self.config_frame[newsel].grid(column=0, row=0, sticky='nsew') |
| 2019 | self.current_extension = newsel |
| 2020 | |
| 2021 | def create_extension_frame(self, ext_name): |
| 2022 | """Create a frame holding the widgets to configure one extension""" |
no test coverage detected