Options dialog should be bigger

[Gareth White]

On Windows XP with the default theme, Bazaar Explorer's options dialog is slightly too narrow and looks a bit strange. If it was a few pixels wider than the third tab wouldn't need to be partially hidden.

Tested with Bazaar Explorer 0.11.2 on Windows XP SP 3.

[Ian Clatworthy (ian-clatworthy)]

Should be a simple fix

[Ian Clatworthy (ian-clatworthy)]

Could you try this on a later version of Qt. I smell a bug in that layer.

[Gareth White (gwhite-deactivatedaccount)]

I tried it with PyQt 4.7 and Qt 4.6.1 and the problem is worse (see attachment).

The original was with PyQt 4.4.3 and Qt 4.4.1, using the same version of Explorer and QBzr. So it does point towards the bug being in Qt.

[Ian Clatworthy (ian-clatworthy)]

Gareth White wrote:
> I tried it with PyQt 4.7 and Qt 4.6.1 and the problem is worse (see
> attachment).
>
> The original was with PyQt 4.4.3 and Qt 4.4.1, using the same version of
> Explorer and QBzr. So it does point towards the bug being in Qt.

We should be able to provide a simple patch to fix this but I need you
to tell me what works. Can you try some hard-coded sizes? Add something like

  self.resize(500, 400)

to the __init__ method (line 196 say) in explorer_preferences.py. If you
can suggest width and height values that work, I'll use them (on Windows).

Ian C.

[Gareth White (gwhite-deactivatedaccount)]

Adding the following after the call to self._build_ui(title) seems to do the trick:

        self.adjustSize()
        self.resize(self.size().width() + 50, self.size().height())

Hopefully this won't make it look too wide on other platforms!

[Gareth White (gwhite-deactivatedaccount)]

This Qt bug could be related, although it's talking about the height rather than the width: http://bugreports.qt.nokia.com/browse/QTBUG-3855