QScintilla/Editor.py

changeset 3621
15f23ed3f216
parent 3591
2f2a4a76dd22
child 3656
441956d8fce5
child 3860
4ed63a8bf418
equal deleted inserted replaced
3620:2c8d96d47cda 3621:15f23ed3f216
166 self.lastHighlight = None # remember the last highlighted line 166 self.lastHighlight = None # remember the last highlighted line
167 self.lastErrorMarker = None # remember the last error line 167 self.lastErrorMarker = None # remember the last error line
168 self.lastCurrMarker = None # remember the last current line 168 self.lastCurrMarker = None # remember the last current line
169 169
170 self.breaks = {} 170 self.breaks = {}
171 # key: marker handle, 171 # key: marker handle,
172 # value: (lineno, condition, temporary, 172 # value: (lineno, condition, temporary,
173 # enabled, ignorecount) 173 # enabled, ignorecount)
174 self.bookmarks = [] 174 self.bookmarks = []
175 # bookmarks are just a list of handles to the 175 # bookmarks are just a list of handles to the
176 # bookmark markers 176 # bookmark markers
177 self.syntaxerrors = {} 177 self.syntaxerrors = {}
178 # key: marker handle 178 # key: marker handle
179 # value: list of (error message, error index) 179 # value: list of (error message, error index)
180 self.warnings = {} 180 self.warnings = {}
181 # key: marker handle 181 # key: marker handle
182 # value: list of (warning message, warning type) 182 # value: list of (warning message, warning type)
183 self.notcoveredMarkers = [] # just a list of marker handles 183 self.notcoveredMarkers = [] # just a list of marker handles
184 self.showingNotcoveredMarkers = False 184 self.showingNotcoveredMarkers = False
185 185
186 self.condHistory = [] 186 self.condHistory = []
187 self.lexer_ = None 187 self.lexer_ = None
190 self.encoding = Preferences.getEditor("DefaultEncoding") 190 self.encoding = Preferences.getEditor("DefaultEncoding")
191 self.apiLanguage = '' 191 self.apiLanguage = ''
192 self.lastModified = 0 192 self.lastModified = 0
193 self.line = -1 193 self.line = -1
194 self.inReopenPrompt = False 194 self.inReopenPrompt = False
195 # true if the prompt to reload a changed source is present 195 # true if the prompt to reload a changed source is present
196 self.inFileRenamed = False 196 self.inFileRenamed = False
197 # true if we are propagating a rename action 197 # true if we are propagating a rename action
198 self.inLanguageChanged = False 198 self.inLanguageChanged = False
199 # true if we are propagating a language change 199 # true if we are propagating a language change
200 self.inEolChanged = False 200 self.inEolChanged = False
201 # true if we are propagating an eol change 201 # true if we are propagating an eol change
202 self.inEncodingChanged = False 202 self.inEncodingChanged = False
203 # true if we are propagating an encoding change 203 # true if we are propagating an encoding change
204 self.inDragDrop = False 204 self.inDragDrop = False
205 # true if we are in drop mode 205 # true if we are in drop mode
206 self.inLinesChanged = False 206 self.inLinesChanged = False
207 # true if we are propagating a lines changed event 207 # true if we are propagating a lines changed event
208 self.__hasTaskMarkers = False 208 self.__hasTaskMarkers = False
209 # no task markers present 209 # no task markers present
210 210
211 self.macros = {} # list of defined macros 211 self.macros = {} # list of defined macros
212 self.curMacro = None 212 self.curMacro = None
213 self.recording = False 213 self.recording = False
214 214
2788 Public method to revert back to the last saved state. 2788 Public method to revert back to the last saved state.
2789 """ 2789 """
2790 undo_ = True 2790 undo_ = True
2791 while self.isModified(): 2791 while self.isModified():
2792 if undo_: 2792 if undo_:
2793 # try undo first 2793 # try undo first
2794 if self.isUndoAvailable(): 2794 if self.isUndoAvailable():
2795 self.undo() 2795 self.undo()
2796 else: 2796 else:
2797 undo_ = False 2797 undo_ = False
2798 else: 2798 else:
2799 # try redo next 2799 # try redo next
2800 if self.isRedoAvailable(): 2800 if self.isRedoAvailable():
2801 self.redo() 2801 self.redo()
2802 else: 2802 else:
2803 break 2803 break
2804 # Couldn't find the unmodified state 2804 # Couldn't find the unmodified state
5172 basename = os.path.splitext(fn)[0] 5172 basename = os.path.splitext(fn)[0]
5173 tbasename = os.path.splitext(tfn)[0] 5173 tbasename = os.path.splitext(tfn)[0]
5174 5174
5175 f = "{0}.coverage".format(basename) 5175 f = "{0}.coverage".format(basename)
5176 tf = "{0}.coverage".format(tbasename) 5176 tf = "{0}.coverage".format(tbasename)
5177 if os.path.isfile(f) and not f in files: 5177 if os.path.isfile(f) and f not in files:
5178 files.append(f) 5178 files.append(f)
5179 if os.path.isfile(tf) and not tf in files: 5179 if os.path.isfile(tf) and tf not in files:
5180 files.append(tf) 5180 files.append(tf)
5181 5181
5182 if files: 5182 if files:
5183 if len(files) > 1: 5183 if len(files) > 1:
5184 fn, ok = QInputDialog.getItem( 5184 fn, ok = QInputDialog.getItem(
5351 basename = os.path.splitext(fn)[0] 5351 basename = os.path.splitext(fn)[0]
5352 tbasename = os.path.splitext(tfn)[0] 5352 tbasename = os.path.splitext(tfn)[0]
5353 5353
5354 f = "{0}.profile".format(basename) 5354 f = "{0}.profile".format(basename)
5355 tf = "{0}.profile".format(tbasename) 5355 tf = "{0}.profile".format(tbasename)
5356 if os.path.isfile(f) and not f in files: 5356 if os.path.isfile(f) and f not in files:
5357 files.append(f) 5357 files.append(f)
5358 if os.path.isfile(tf) and not tf in files: 5358 if os.path.isfile(tf) and tf not in files:
5359 files.append(tf) 5359 files.append(tf)
5360 5360
5361 if files: 5361 if files:
5362 if len(files) > 1: 5362 if len(files) > 1:
5363 fn, ok = QInputDialog.getItem( 5363 fn, ok = QInputDialog.getItem(

eric ide

mercurial