Bug 73027 [Dialogs] Buttons are too high
I20040831 Buttons are no longer oval but have a rounded rectangle shape (see first screenshot). The second screenshot shows how buttons using the small system font should look like.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/PathVariableDialog.java
*/
    public PathVariableDialog(Shell parentShell, int type, int variableType,
            IPathVariableManager pathVariableManager, Set namesInUse) {
        super(parentShell);
        this.type = type;
        this.newVariable = type == NEW_VARIABLE;
        this.variableName = ""; 
        this.variableValue = ""; 
        this.variableType = variableType;
        this.pathVariableManager = pathVariableManager;
        this.namesInUse = namesInUse;
        if (newVariable)
            this.standardMessage = IDEWorkbenchMessages
                    .getString("PathVariableDialog.message.newVariable"); 
        else
            this.standardMessage = IDEWorkbenchMessages
                    .getString("PathVariableDialog.message.existingVariable"); 
    }
    /**
     * Configures this dialog's shell, setting the shell's text.
     * 
     * @see org.eclipse.jface.window.Window#configureShell(Shell)
     */
    protected void configureShell(Shell shell) {
        super.configureShell(shell);
        if (newVariable)
            shell.setText(IDEWorkbenchMessages
                    .getString("PathVariableDialog.shellTitle.newVariable")); 
        else
            shell