>>>>> "Rob" == Rob Lahaye <[EMAIL PROTECTED]> writes:
Rob> Furthermore, the facelift of the dialogs will focus on reducing Rob> the height of widgets (NOT width, so that translations with Rob> longer keywords still fit in) and rearranging few widgets inside Rob> the dialog to allow the proper resize policy. Rob> As an example, a patch to the Cross-reference dialog is attached, Rob> together with a screenshot of the old and new look. I like it, but one has to check that it works well on all displays. For example I know that the display on my dec station in france uses bigger fonts (because dpi setting is not the same as a typical linux installation). I seem to remember that the rule of thumb was that the display should look reasonable if you increse the font size to the nearest larger size. JMarc
