Commit 5e94de37 authored by dmMaze's avatar dmMaze
Browse files

fix float height

parent d2ca02d3
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -136,6 +136,7 @@ class SearchEditor(QPlainTextEdit):
        fm = QFontMetrics(self.font())
        h = fm.height() * self.document().size().height() * 1.05
        h += self.document().documentMargin() * 2
        h = int(h)
        if self.geometry().height() != h:
            self.setFixedHeight(max(h, self.original_height))
            self.height_changed.emit()