def __init__(self, pref=None, parent=None):
QWidget.__init__(self, parent)
self.ui = Ui_FileSystem()
self.ui.setupUi(self)
self.preference = pref
self.ui.view.setFont(self.preference.fsFont)
self.editorManager = None
