WebBrowser/WebBrowserView.py

changeset 5867
099008539886
parent 5829
d3448873ced3
child 5885
5228afbb870f
child 5920
e47dd106c3d6
equal deleted inserted replaced
5866:a0c7e42a5750 5867:099008539886
558 act = menu.addAction( 558 act = menu.addAction(
559 suggestion, 559 suggestion,
560 self.__replaceMisspelledWord) 560 self.__replaceMisspelledWord)
561 act.setFont(boldFont) 561 act.setFont(boldFont)
562 562
563 if bool(menu.actions()): 563 if not bool(menu.actions()):
564 menu.addAction(self.tr("No suggestions")).setEnabled(False) 564 menu.addAction(self.tr("No suggestions")).setEnabled(False)
565 565
566 menu.addSeparator() 566 menu.addSeparator()
567 spellCheckActionCount = len(menu.actions()) 567 spellCheckActionCount = len(menu.actions())
568 568

eric ide

mercurial