SWT editor doesn't update properly when a widget is moved

[ptziegler]

Consider the following snippet:

import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Shell;

public class MyShell {

	public static void main(String args[]) {
		Shell shell = new Shell();
		shell.setText("SWT Application");

		Button btnNewButton = new Button(shell, SWT.NONE);
		btnNewButton.setBounds(257, 169, 147, 50);
		btnNewButton.setText("New Button");

		shell.open();
	}
}

Moving the widget moves its border, but not the snapshot.

[ptziegler]

The issue is related to the SWT.SHELL_TRIM style.

[ptziegler]

It even happens in WindowBuilder 1.10.0. So not a recent regression...