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