explorer.py 文件源码

def _update_filepickers(self):
        children = [fp.box for fp in self.file_pickers]
        for i, child in enumerate(children):
            fp.deleter.index = i
            fp.deleter.on_click(self._handle_delete_tab)
        self.ftabs = ipywidgets.Tab(children=children)
        self._file_picker_tabs.children = [self.ftabs, self.bbox]