コード例 #1
0
ファイル: EdViewRW.py プロジェクト: dangbinghoo/SourceScope 
	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)
コード例 #2
0
	def __init__(self, parent = None):
		EditorView.__init__(self, parent)

		self.setCaretLineBackgroundColor(QtGui.QColor("#ffaa7f"))
コード例 #3
0
ファイル: EdViewRW.py プロジェクト: dangbinghoo/SourceScope 
	def __init__(self, parent=None):
		EditorView.__init__(self, parent)
		# use default settings.
		EditorView.ed_settings_1(self)