WebBrowser/WebBrowserView.py

branch
maintenance
changeset 5885
5228afbb870f
parent 5863
0752bdd8db77
parent 5867
099008539886
child 5948
6f958d5765f4
equal deleted inserted replaced
5864:86ccabe751ac 5885:5228afbb870f
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