223 self.menu.addSeparator() |
223 self.menu.addSeparator() |
224 self.menu.addAction(self.trUtf8('Find'), self.__find) |
224 self.menu.addAction(self.trUtf8('Find'), self.__find) |
225 self.menu.addSeparator() |
225 self.menu.addSeparator() |
226 self.menu.addAction(self.trUtf8('Clear'), self.clear) |
226 self.menu.addAction(self.trUtf8('Clear'), self.clear) |
227 self.menu.addAction(self.trUtf8('Reset'), self.__reset) |
227 self.menu.addAction(self.trUtf8('Reset'), self.__reset) |
228 self.menu.addAction(self.trUtf8('Reset and Clear'), |
228 self.menu.addAction( |
229 self.__resetAndClear) |
229 self.trUtf8('Reset and Clear'), self.__resetAndClear) |
230 self.menu.addSeparator() |
230 self.menu.addSeparator() |
231 self.menu.addMenu(self.lmenu) |
231 self.menu.addMenu(self.lmenu) |
232 self.menu.addSeparator() |
232 self.menu.addSeparator() |
233 self.menu.addAction(self.trUtf8("Configure..."), self.__configure) |
233 self.menu.addAction(self.trUtf8("Configure..."), self.__configure) |
234 |
234 |
1539 fname = url.toLocalFile() |
1539 fname = url.toLocalFile() |
1540 if fname: |
1540 if fname: |
1541 if not QFileInfo(fname).isDir(): |
1541 if not QFileInfo(fname).isDir(): |
1542 self.vm.openSourceFile(fname) |
1542 self.vm.openSourceFile(fname) |
1543 else: |
1543 else: |
1544 E5MessageBox.information(self, |
1544 E5MessageBox.information( |
|
1545 self, |
1545 self.trUtf8("Drop Error"), |
1546 self.trUtf8("Drop Error"), |
1546 self.trUtf8("""<p><b>{0}</b> is not a file.</p>""") |
1547 self.trUtf8("""<p><b>{0}</b> is not a file.</p>""") |
1547 .format(fname)) |
1548 .format(fname)) |
1548 event.acceptProposedAction() |
1549 event.acceptProposedAction() |
1549 elif event.mimeData().hasText(): |
1550 elif event.mimeData().hasText(): |
1653 search (boolean) |
1654 search (boolean) |
1654 @param wholeWord flag indicating to search for whole words |
1655 @param wholeWord flag indicating to search for whole words |
1655 only (boolean) |
1656 only (boolean) |
1656 """ |
1657 """ |
1657 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1658 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1658 ok = self.findFirst(txt, False, caseSensitive, wholeWord, False, |
1659 ok = self.findFirst( |
1659 forward=True) |
1660 txt, False, caseSensitive, wholeWord, False, forward=True) |
1660 self.searchStringFound.emit(ok) |
1661 self.searchStringFound.emit(ok) |
1661 |
1662 |
1662 def __searchPrev(self): |
1663 def __searchPrev(self): |
1663 """ |
1664 """ |
1664 Private method to search for the next occurrence. |
1665 Private method to search for the next occurrence. |
1679 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1680 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1680 if self.hasSelectedText(): |
1681 if self.hasSelectedText(): |
1681 line, index = self.getSelection()[:2] |
1682 line, index = self.getSelection()[:2] |
1682 else: |
1683 else: |
1683 line, index = -1, -1 |
1684 line, index = -1, -1 |
1684 ok = self.findFirst(txt, False, caseSensitive, wholeWord, False, |
1685 ok = self.findFirst( |
1685 forward=False, |
1686 txt, False, caseSensitive, wholeWord, False, |
1686 line=line, index=index) |
1687 forward=False, line=line, index=index) |
1687 self.searchStringFound.emit(ok) |
1688 self.searchStringFound.emit(ok) |