Change-Id: Ib7cab31753d19e0a1d5766235dcdf88750f69a96
Signed-off-by: Geneviève Bastien <gbastien+lttng@versatic.net>
Reviewed-on: https://git.eclipse.org/r/83473
Reviewed-by: Hudson CI
Reviewed-by: Patrick Tasse <patrick.tasse@gmail.com>
Tested-by: Patrick Tasse <patrick.tasse@gmail.com>
tree.removePaintListener(this);
doAlignTreeItems();
redraw();
- /*
- * Bug in GTK. Calling setTopItem() can scroll to the wrong item
- * when the 'tree view' is dirty. Set it again once it is clean.
- */
- if (SWT.getPlatform().equals("gtk")) { //$NON-NLS-1$
- tree.getDisplay().asyncExec(() -> {
- TreeItem topItem = tree.getTopItem();
- if (!tree.isDisposed() && topItem != null && !topItem.isDisposed()) {
- tree.setTopItem(topItem);
- }
- });
- }
}
});
/* Make sure the paint event is triggered. */