>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Tue, Mar 11, 2003 at 09:03:37AM -0300, Joao Luis Meloni John> Assirati wrote: >> This is a small bug. When resizing the Qt "Preferences" dialog, >> instead of making wider the text boxes in the righ (what would be >> useful, for example to enter large paths or commands with lots of >> options), it is the tree of items in the left that becomes wider >> (what is not useful). John> Fixed. JMarc ? It's low risk I have not seen the patch, but I buy your bridge without hesitation. OK. JMarc