31
30
def __init__(self, parent=None):
32
31
ExplorerWidget.__init__(self, parent=parent,
33
32
name_filters=self.get_option('name_filters'),
35
33
show_all=self.get_option('show_all'),
37
34
show_icontext=self.get_option('show_icontext'))
38
35
SpyderPluginMixin.__init__(self, parent)