117 |
117 |
118 self.findPrevButton = QToolButton(self) |
118 self.findPrevButton = QToolButton(self) |
119 self.findPrevButton.setObjectName("findPrevButton") |
119 self.findPrevButton.setObjectName("findPrevButton") |
120 self.findPrevButton.setToolTip(self.tr( |
120 self.findPrevButton.setToolTip(self.tr( |
121 "Press to find the previous occurrence")) |
121 "Press to find the previous occurrence")) |
122 self.findPrevButton.setIcon(UI.PixmapCache.getIcon("1leftarrow.png")) |
122 self.findPrevButton.setIcon(UI.PixmapCache.getIcon("1leftarrow")) |
123 self.horizontalLayout3.addWidget(self.findPrevButton) |
123 self.horizontalLayout3.addWidget(self.findPrevButton) |
124 |
124 |
125 self.findNextButton = QToolButton(self) |
125 self.findNextButton = QToolButton(self) |
126 self.findNextButton.setObjectName("findNextButton") |
126 self.findNextButton.setObjectName("findNextButton") |
127 self.findNextButton.setToolTip(self.tr( |
127 self.findNextButton.setToolTip(self.tr( |
128 "Press to find the next occurrence")) |
128 "Press to find the next occurrence")) |
129 self.findNextButton.setIcon(UI.PixmapCache.getIcon("1rightarrow.png")) |
129 self.findNextButton.setIcon(UI.PixmapCache.getIcon("1rightarrow")) |
130 self.horizontalLayout3.addWidget(self.findNextButton) |
130 self.horizontalLayout3.addWidget(self.findNextButton) |
131 |
131 |
132 self.horizontalLayout2.addLayout(self.horizontalLayout3) |
132 self.horizontalLayout2.addLayout(self.horizontalLayout3) |
133 |
133 |
134 # info label (in row 2 or 3) |
134 # info label (in row 2 or 3) |