QScintilla/MiniEditor.py

changeset 539
87f9bce38a44
parent 537
72b32daeb8d6
child 545
1538031b5175
equal deleted inserted replaced
538:7f1a56e80124 539:87f9bce38a44
1474 Private method to ask the user to save the file, if it was modified. 1474 Private method to ask the user to save the file, if it was modified.
1475 1475
1476 @return flag indicating, if it is ok to continue (boolean) 1476 @return flag indicating, if it is ok to continue (boolean)
1477 """ 1477 """
1478 if self.__textEdit.isModified(): 1478 if self.__textEdit.isModified():
1479 ret = QMessageBox.warning(self, 1479 ret = E5MessageBox.warning(self,
1480 self.trUtf8("eric5 Mini Editor"), 1480 self.trUtf8("eric5 Mini Editor"),
1481 self.trUtf8("The document has been modified.\n" 1481 self.trUtf8("The document has been modified.\n"
1482 "Do you want to save your changes?"), 1482 "Do you want to save your changes?"),
1483 QMessageBox.StandardButtons(\ 1483 QMessageBox.StandardButtons(\
1484 QMessageBox.Cancel | \ 1484 QMessageBox.Cancel | \

eric ide

mercurial