eric6/QScintilla/MiniEditor.py

changeset 7749
285855999b4e
parent 7746
12d5e1e6abd1
child 7758
dd54d33d21d2
equal deleted inserted replaced
7748:23e98236a4c4 7749:285855999b4e
107 self.replaceTarget("") 107 self.replaceTarget("")
108 ok = self.findNextTarget() 108 ok = self.findNextTarget()
109 self.endUndoAction() 109 self.endUndoAction()
110 110
111 111
112 # TODO: add language icon and menu to statusbar
113 # TODO: add cursor position to statusbar
114 # TODO: add zoom functionality (?)
112 class MiniEditor(E5MainWindow): 115 class MiniEditor(E5MainWindow):
113 """ 116 """
114 Class implementing a minimalistic editor for simple editing tasks. 117 Class implementing a minimalistic editor for simple editing tasks.
115 118
116 @signal editorSaved() emitted after the file has been saved 119 @signal editorSaved() emitted after the file has been saved

eric ide

mercurial