Mercurial > projects > dwt-linux

comparison dwt/browser/PromptDialog.d @ 345:5abc6f7f7a95

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixups
author John Reimer <terminal.node@gmail.com>
date Tue, 28 Oct 2008 22:07:01 -0700
parents 8198e6052012
children
comparison
equal deleted inserted replaced
344:8198e6052012 345:5abc6f7f7a95
47 GridLayout gridLayout = new GridLayout(); 47 GridLayout gridLayout = new GridLayout();
48 shell.setLayout(gridLayout); 48 shell.setLayout(gridLayout);
49 Label label = new Label(shell, DWT.WRAP); 49 Label label = new Label(shell, DWT.WRAP);
50 label.setText(text); 50 label.setText(text);
51 GridData data = new GridData(); 51 GridData data = new GridData();
52 Monitor monitor = parent.getMonitor(); 52 dwt.widgets.Monitor.Monitor monitor = parent.getMonitor();
53 int maxWidth = monitor.getBounds().width * 2 / 3; 53 int maxWidth = monitor.getBounds().width * 2 / 3;
54 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x; 54 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x;
55 data.widthHint = Math.min(width, maxWidth); 55 data.widthHint = Math.min(width, maxWidth);
56 data.horizontalAlignment = GridData.FILL; 56 data.horizontalAlignment = GridData.FILL;
57 data.grabExcessHorizontalSpace = true; 57 data.grabExcessHorizontalSpace = true;
93 GridLayout gridLayout = new GridLayout(); 93 GridLayout gridLayout = new GridLayout();
94 shell.setLayout(gridLayout); 94 shell.setLayout(gridLayout);
95 Label label = new Label(shell, DWT.WRAP); 95 Label label = new Label(shell, DWT.WRAP);
96 label.setText(text); 96 label.setText(text);
97 GridData data = new GridData(); 97 GridData data = new GridData();
98 Monitor monitor = parent.getMonitor(); 98 dwt.widgets.Monitor.Monitor monitor = parent.getMonitor();
99 int maxWidth = monitor.getBounds().width * 2 / 3; 99 int maxWidth = monitor.getBounds().width * 2 / 3;
100 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x; 100 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x;
101 data.widthHint = Math.min(width, maxWidth); 101 data.widthHint = Math.min(width, maxWidth);
102 data.horizontalAlignment = GridData.FILL; 102 data.horizontalAlignment = GridData.FILL;
103 data.grabExcessHorizontalSpace = true; 103 data.grabExcessHorizontalSpace = true;
173 GridLayout gridLayout = new GridLayout(); 173 GridLayout gridLayout = new GridLayout();
174 shell.setLayout(gridLayout); 174 shell.setLayout(gridLayout);
175 Label label = new Label(shell, DWT.WRAP); 175 Label label = new Label(shell, DWT.WRAP);
176 label.setText(text); 176 label.setText(text);
177 GridData data = new GridData(); 177 GridData data = new GridData();
178 Monitor monitor = parent.getMonitor(); 178 dwt.widgets.Monitor.Monitor monitor = parent.getMonitor();
179 int maxWidth = monitor.getBounds().width * 2 / 3; 179 int maxWidth = monitor.getBounds().width * 2 / 3;
180 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x; 180 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x;
181 data.widthHint = Math.min(width, maxWidth); 181 data.widthHint = Math.min(width, maxWidth);
182 data.horizontalAlignment = GridData.FILL; 182 data.horizontalAlignment = GridData.FILL;
183 data.grabExcessHorizontalSpace = true; 183 data.grabExcessHorizontalSpace = true;
240 GridLayout gridLayout = new GridLayout(); 240 GridLayout gridLayout = new GridLayout();
241 shell.setLayout(gridLayout); 241 shell.setLayout(gridLayout);
242 Label label = new Label(shell, DWT.WRAP); 242 Label label = new Label(shell, DWT.WRAP);
243 label.setText(text); 243 label.setText(text);
244 GridData data = new GridData(); 244 GridData data = new GridData();
245 Monitor monitor = parent.getMonitor(); 245 dwt.widgets.Monitor.Monitor monitor = parent.getMonitor();
246 int maxWidth = monitor.getBounds().width * 2 / 3; 246 int maxWidth = monitor.getBounds().width * 2 / 3;
247 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x; 247 int width = label.computeSize(DWT.DEFAULT, DWT.DEFAULT).x;
248 data.widthHint = Math.min(width, maxWidth); 248 data.widthHint = Math.min(width, maxWidth);
249 data.horizontalAlignment = GridData.FILL; 249 data.horizontalAlignment = GridData.FILL;
250 data.grabExcessHorizontalSpace = true; 250 data.grabExcessHorizontalSpace = true;