100 self.findList.headerItem().setText(self.findList.columnCount(), "") |
100 self.findList.headerItem().setText(self.findList.columnCount(), "") |
101 self.findList.header().setSortIndicator(0, Qt.AscendingOrder) |
101 self.findList.header().setSortIndicator(0, Qt.AscendingOrder) |
102 self.__section0Size = self.findList.header().sectionSize(0) |
102 self.__section0Size = self.findList.header().sectionSize(0) |
103 self.findList.setExpandsOnDoubleClick(False) |
103 self.findList.setExpandsOnDoubleClick(False) |
104 if self.__replaceMode: |
104 if self.__replaceMode: |
105 font = self.findList.font() |
105 font = Preferences.getEditorOtherFonts("MonospacedFont") |
106 if Utilities.isWindowsPlatform(): |
|
107 font.setFamily("Lucida Console") |
|
108 else: |
|
109 font.setFamily("Monospace") |
|
110 self.findList.setFont(font) |
106 self.findList.setFont(font) |
111 |
107 |
112 # Qt Designer form files |
108 # Qt Designer form files |
113 self.filterForms = r'.*\.ui$' |
109 self.filterForms = r'.*\.ui$' |
114 self.formsExt = ['*.ui'] |
110 self.formsExt = ['*.ui'] |