Exemplo n.º 1
0
	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)
Exemplo n.º 2
0
	def __init__(self, parent = None):
		EditorView.__init__(self, parent)

		self.setCaretLineBackgroundColor(QtGui.QColor("#ffaa7f"))
Exemplo n.º 3
0
	def __init__(self, parent=None):
		EditorView.__init__(self, parent)
		# use default settings.
		EditorView.ed_settings_1(self)