2015-09-07 11:44:36 -06:00
|
|
|
|
// swt/DisplayProperties.java
|
2015-11-14 16:18:05 -08:00
|
|
|
|
// <20>2016 MindView LLC: see Copyright.txt
|
2015-06-15 17:47:35 -07:00
|
|
|
|
import org.eclipse.swt.*;
|
|
|
|
|
import org.eclipse.swt.widgets.*;
|
|
|
|
|
import org.eclipse.swt.layout.*;
|
|
|
|
|
import java.io.*;
|
|
|
|
|
|
|
|
|
|
public class DisplayProperties {
|
|
|
|
|
public static void main(String [] args) {
|
|
|
|
|
Display display = new Display();
|
|
|
|
|
Shell shell = new Shell(display);
|
|
|
|
|
shell.setText("Display Properties");
|
|
|
|
|
shell.setLayout(new FillLayout());
|
|
|
|
|
Text text = new Text(shell, SWT.WRAP | SWT.V_SCROLL);
|
|
|
|
|
StringWriter props = new StringWriter();
|
|
|
|
|
System.getProperties().list(new PrintWriter(props));
|
|
|
|
|
text.setText(props.toString());
|
|
|
|
|
shell.open();
|
|
|
|
|
while(!shell.isDisposed())
|
|
|
|
|
if(!display.readAndDispatch())
|
|
|
|
|
display.sleep();
|
|
|
|
|
display.dispose();
|
|
|
|
|
}
|
2015-09-07 11:44:36 -06:00
|
|
|
|
}
|