3384 @return filename of the displayed file |
3384 @return filename of the displayed file |
3385 @rtype str |
3385 @rtype str |
3386 """ |
3386 """ |
3387 return self.__curFile |
3387 return self.__curFile |
3388 |
3388 |
|
3389 def setFileName(self, name): |
|
3390 """ |
|
3391 Public method to set the file name of the file being displayed. |
|
3392 |
|
3393 @param name name of the displayed file |
|
3394 @type str |
|
3395 """ |
|
3396 self.__setCurrentFile(name) |
|
3397 |
3389 def __strippedName(self, fullFileName): |
3398 def __strippedName(self, fullFileName): |
3390 """ |
3399 """ |
3391 Private method to return the filename part of the given path. |
3400 Private method to return the filename part of the given path. |
3392 |
3401 |
3393 @param fullFileName full pathname of the given file |
3402 @param fullFileName full pathname of the given file |
4342 """ |
4351 """ |
4343 self.__textEdit.setCursorPosition(line - 1, pos - 1) |
4352 self.__textEdit.setCursorPosition(line - 1, pos - 1) |
4344 self.__textEdit.ensureLineVisible(line - 1) |
4353 self.__textEdit.ensureLineVisible(line - 1) |
4345 self.__textEdit.setFirstVisibleLine(line - 1) |
4354 self.__textEdit.setFirstVisibleLine(line - 1) |
4346 self.__textEdit.ensureCursorVisible() |
4355 self.__textEdit.ensureCursorVisible() |
|
4356 |
|
4357 def setModified(self, modified): |
|
4358 """ |
|
4359 Public method to set the editor modification state. |
|
4360 |
|
4361 @param modified new editor modification state |
|
4362 @type bool |
|
4363 """ |
|
4364 self.__textEdit.setModified(modified) |
4347 |
4365 |
4348 ####################################################################### |
4366 ####################################################################### |
4349 ## Methods implementing the interface to EditorConfig |
4367 ## Methods implementing the interface to EditorConfig |
4350 ####################################################################### |
4368 ####################################################################### |
4351 |
4369 |