1463 if language: |
1463 if language: |
1464 self.filetype = language |
1464 self.filetype = language |
1465 self.setLanguage(self.supportedLanguages[language][1]) |
1465 self.setLanguage(self.supportedLanguages[language][1]) |
1466 self.checkSyntax() |
1466 self.checkSyntax() |
1467 |
1467 |
|
1468 self.__docstringGenerator = None |
|
1469 |
1468 def __languageChanged(self, language, propagate=True): |
1470 def __languageChanged(self, language, propagate=True): |
1469 """ |
1471 """ |
1470 Private slot handling a change of a connected editor's language. |
1472 Private slot handling a change of a connected editor's language. |
1471 |
1473 |
1472 @param language language to be set (string) |
1474 @param language language to be set (string) |
1484 else: |
1486 else: |
1485 self.filetype = language |
1487 self.filetype = language |
1486 self.setLanguage(self.supportedLanguages[language][1], |
1488 self.setLanguage(self.supportedLanguages[language][1], |
1487 propagate=propagate) |
1489 propagate=propagate) |
1488 self.checkSyntax() |
1490 self.checkSyntax() |
|
1491 |
|
1492 self.__docstringGenerator = None |
1489 |
1493 |
1490 def __resetLanguage(self, propagate=True): |
1494 def __resetLanguage(self, propagate=True): |
1491 """ |
1495 """ |
1492 Private method used to reset the language selection. |
1496 Private method used to reset the language selection. |
1493 |
1497 |
1511 self.__setTextDisplay() |
1515 self.__setTextDisplay() |
1512 self.__setMarginsDisplay() |
1516 self.__setMarginsDisplay() |
1513 self.setMonospaced(useMonospaced) |
1517 self.setMonospaced(useMonospaced) |
1514 self.menuActs["MonospacedFont"].setChecked(self.useMonospaced) |
1518 self.menuActs["MonospacedFont"].setChecked(self.useMonospaced) |
1515 |
1519 |
|
1520 self.__docstringGenerator = None |
|
1521 |
1516 if not self.inLanguageChanged and propagate: |
1522 if not self.inLanguageChanged and propagate: |
1517 self.inLanguageChanged = True |
1523 self.inLanguageChanged = True |
1518 self.languageChanged.emit(self.apiLanguage) |
1524 self.languageChanged.emit(self.apiLanguage) |
1519 self.inLanguageChanged = False |
1525 self.inLanguageChanged = False |
1520 |
1526 |
1539 self.__lexerReset = False |
1545 self.__lexerReset = False |
1540 self.__bindLexer(filename, pyname=pyname) |
1546 self.__bindLexer(filename, pyname=pyname) |
1541 self.__bindCompleter(filename) |
1547 self.__bindCompleter(filename) |
1542 self.recolor() |
1548 self.recolor() |
1543 self.__checkLanguage() |
1549 self.__checkLanguage() |
|
1550 |
|
1551 self.__docstringGenerator = None |
1544 |
1552 |
1545 # set the text display |
1553 # set the text display |
1546 if initTextDisplay: |
1554 if initTextDisplay: |
1547 self.__setTextDisplay() |
1555 self.__setTextDisplay() |
1548 |
1556 |