2746 |
2746 |
2747 @param fileName name of the file to register (string) |
2747 @param fileName name of the file to register (string) |
2748 """ |
2748 """ |
2749 self.__curFile = fileName |
2749 self.__curFile = fileName |
2750 |
2750 |
2751 if not self.__curFile: |
2751 shownName = ( |
2752 shownName = self.tr("Untitled") |
2752 self.tr("Untitled") |
2753 else: |
2753 if not self.__curFile else |
2754 shownName = self.__strippedName(self.__curFile) |
2754 self.__strippedName(self.__curFile) |
|
2755 ) |
2755 |
2756 |
2756 self.setWindowTitle(self.tr("{0}[*] - {1}") |
2757 self.setWindowTitle(self.tr("{0}[*] - {1}") |
2757 .format(shownName, self.tr("Mini Editor"))) |
2758 .format(shownName, self.tr("Mini Editor"))) |
2758 |
2759 |
2759 self.__textEdit.setModified(False) |
2760 self.__textEdit.setModified(False) |
3393 self.__textEdit.setLexer(self.lexer_) |
3394 self.__textEdit.setLexer(self.lexer_) |
3394 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None: |
3395 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None: |
3395 self.__textEdit.SCN_STYLENEEDED.connect(self.__styleNeeded) |
3396 self.__textEdit.SCN_STYLENEEDED.connect(self.__styleNeeded) |
3396 |
3397 |
3397 # get the font for style 0 and set it as the default font |
3398 # get the font for style 0 and set it as the default font |
3398 if pyname and pyname.startswith("Pygments|"): |
3399 key = ( |
3399 key = 'Scintilla/Guessed/style0/font' |
3400 'Scintilla/Guessed/style0/font' |
3400 else: |
3401 if pyname and pyname.startswith("Pygments|") else |
3401 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) |
3402 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) |
|
3403 ) |
3402 fdesc = Preferences.Prefs.settings.value(key) |
3404 fdesc = Preferences.Prefs.settings.value(key) |
3403 if fdesc is not None: |
3405 if fdesc is not None: |
3404 font = QFont(fdesc[0], int(fdesc[1])) |
3406 font = QFont(fdesc[0], int(fdesc[1])) |
3405 self.lexer_.setDefaultFont(font) |
3407 self.lexer_.setDefaultFont(font) |
3406 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") |
3408 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") |
3543 if wc is None: |
3545 if wc is None: |
3544 pattern = r"\b[\w_]+\b" |
3546 pattern = r"\b[\w_]+\b" |
3545 else: |
3547 else: |
3546 wc = re.sub(r'\w', "", wc) |
3548 wc = re.sub(r'\w', "", wc) |
3547 pattern = r"\b[\w{0}]+\b".format(re.escape(wc)) |
3549 pattern = r"\b[\w{0}]+\b".format(re.escape(wc)) |
3548 if self.__textEdit.caseSensitive(): |
3550 rx = ( |
3549 rx = re.compile(pattern) |
3551 re.compile(pattern) |
3550 else: |
3552 if self.__textEdit.caseSensitive() else |
3551 rx = re.compile(pattern, re.IGNORECASE) |
3553 re.compile(pattern, re.IGNORECASE) |
|
3554 ) |
3552 |
3555 |
3553 text = self.text(line) |
3556 text = self.text(line) |
3554 for match in rx.finditer(text): |
3557 for match in rx.finditer(text): |
3555 start, end = match.span() |
3558 start, end = match.span() |
3556 if start <= index <= end: |
3559 if start <= index <= end: |