Description Benjamin Pasero 2005-03-18 07:22:45 EST

Setting the Font of a TreeItem to Bold styl makes it require more horizontal
width. This results in a horizontal scrollbar in case the available width is not
enough. However, when resetting the TreeItem back to normal Font, the Scrollbar
is still showing, even if not required.


Steps to reproduce:
- After start, resize the Sash to the left so that a horizontal Scrollbar is
showing. 

- Now press the Button, the font of the TreeItem is changing to Bold. Notice
that the horizontal Scrollbar is growing a bit (as expected). 

- Now press the button again, the font of the TreeItem changes back to normal,
but the Scrollbar is now becoming smaller.

Expected results: The scrollbar sizes back to its original size that it had
after start.

Snippet:

public class Main {
  static boolean showsBold = false;

  public static void main(String[] args) {
    Display display = new Display();
    Shell shell = new Shell(display);
    shell.setLayout(new FillLayout());
    final Font boldFont = new Font(display, "Helvetica", 20, SWT.BOLD);
    final Font normalFont = new Font(display, "Helvetica", 20, SWT.NORMAL);

    SashForm form = new SashForm(shell, SWT.HORIZONTAL | SWT.SMOOTH);
    form.setLayout(new FillLayout());

    final Composite child1 = new Composite(form, SWT.NONE);
    child1.setLayout(new GridLayout(1, false));

    Composite child2 = new Composite(form, SWT.NONE);
    child2.setLayout(new FillLayout());

    final Tree tree = new Tree(child1, SWT.BORDER);
    tree.setFont(normalFont);
    tree.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
    final TreeItem item = new TreeItem(tree, SWT.NONE);
    item.setText("Hello World Hello World");
    item.setFont(normalFont);

    Button b = new Button(child2, SWT.PUSH);
    b.setText("push me");
    b.addSelectionListener(new SelectionAdapter() {
      public void widgetSelected(SelectionEvent e) {
        if (!showsBold)
          item.setFont(boldFont);
        else
          item.setFont(normalFont);

        showsBold = !showsBold;
      }
    });

    form.setWeights(new int[] { 50, 50 });

    shell.open();
    while (!shell.isDisposed()) {
      if (!display.readAndDispatch()) {
        display.sleep();
      }
    }
  }
}