def __init__(self, editor):
QtGui.QWidget.__init__(self)
# Set up the UI from designer
self.editor=editor
self.ui=UI_SearchWidget()
self.ui.setupUi(self)
self.ui.next.clicked.connect(self.doFind)
self.ui.previous.clicked.connect(self.doFindBackwards)
self.ui.close.clicked.connect(self.hide)
def __init__(self, editor):
QtGui.QWidget.__init__(self)
# Set up the UI from designer
self.editor = editor
self.ui = UI_SearchWidget()
self.ui.setupUi(self)
self.ui.next.clicked.connect(self.doFind)
self.ui.previous.clicked.connect(self.doFindBackwards)
self.ui.close.clicked.connect(self.hide)
class SearchWidget(QtGui.QWidget):
def __init__(self, editor):
QtGui.QWidget.__init__(self)
# Set up the UI from designer
self.editor=editor
self.ui=UI_SearchWidget()
self.ui.setupUi(self)
self.ui.next.clicked.connect(self.doFind)
self.ui.previous.clicked.connect(self.doFindBackwards)
self.ui.close.clicked.connect(self.hide)
def doFindBackwards (self):
return self.doFind(backwards=True)
def doFind(self, backwards=False):
flags=QtGui.QTextDocument.FindFlags()
if backwards:
flags=QtGui.QTextDocument.FindBackward
if self.ui.matchCase.isChecked():
flags=flags|QtGui.QTextDocument.FindCaseSensitively
text=unicode(self.ui.text.text())
r=self.editor.find(text,flags)
class SearchWidget(QtGui.QWidget):
def __init__(self, editor):
QtGui.QWidget.__init__(self)
# Set up the UI from designer
self.editor = editor
self.ui = UI_SearchWidget()
self.ui.setupUi(self)
self.ui.next.clicked.connect(self.doFind)
self.ui.previous.clicked.connect(self.doFindBackwards)
self.ui.close.clicked.connect(self.hide)
def doFindBackwards(self):
return self.doFind(backwards=True)
def doFind(self, backwards=False):
flags = QtGui.QTextDocument.FindFlags()
if backwards:
flags = QtGui.QTextDocument.FindBackward
if self.ui.matchCase.isChecked():
flags = flags | QtGui.QTextDocument.FindCaseSensitively
text = unicode(self.ui.text.text())
r = self.editor.find(text, flags)
def __init__(self): QtGui.QWidget.__init__(self) # Set up the UI from designer self.ui=UI_SearchWidget() self.ui.setupUi(self)
