def refresh_file(self, filename): if self.isModified(): msg = 'Save changes before refresh ?' if DialogManager.show_yes_no(msg): self.save_file(self.filename) EditorView.refresh_file(self, filename)
def __init__(self, parent = None): EditorView.__init__(self, parent) self.setCaretLineBackgroundColor(QtGui.QColor("#ffaa7f"))
def __init__(self, parent=None): EditorView.__init__(self, parent) # use default settings. EditorView.ed_settings_1(self)