eric6/QScintilla/MiniEditor.py

changeset 8260
2161475d9639
parent 8258
82b608e352ec
child 8273
698ae46f40a4
child 8298
83ddb87b3bc1
equal deleted inserted replaced
8259:2bbec88047dd 8260:2161475d9639
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:

eric ide

mercurial