36 |
36 |
37 self.linenumberSpinBox.setMaximum(maximum) |
37 self.linenumberSpinBox.setMaximum(maximum) |
38 self.linenumberSpinBox.setValue(curLine) |
38 self.linenumberSpinBox.setValue(curLine) |
39 self.linenumberSpinBox.selectAll() |
39 self.linenumberSpinBox.selectAll() |
40 |
40 |
|
41 msh = self.minimumSizeHint() |
|
42 self.resize(max(self.width(), msh.width()), msh.height()) |
|
43 |
41 def getLinenumber(self): |
44 def getLinenumber(self): |
42 """ |
45 """ |
43 Public method to retrieve the linenumber. |
46 Public method to retrieve the linenumber. |
44 |
47 |
45 @return line number (int) |
48 @return line number (int) |