|
25
|
1 /*******************************************************************************
|
|
|
2 * Copyright (c) 2000, 2008 IBM Corporation and others.
|
|
|
3 * All rights reserved. This program and the accompanying materials
|
|
|
4 * are made available under the terms of the Eclipse Public License v1.0
|
|
|
5 * which accompanies this distribution, and is available at
|
|
|
6 * http://www.eclipse.org/legal/epl-v10.html
|
|
|
7 *
|
|
|
8 * Contributors:
|
|
|
9 * IBM Corporation - initial API and implementation
|
|
|
10 * Port to the D programming language:
|
|
|
11 * Frank Benoit <benoit@tionex.de>
|
|
|
12 *******************************************************************************/
|
|
|
13 module org.eclipse.swt.custom.CBanner;
|
|
|
14
|
|
|
15 import java.lang.all;
|
|
|
16
|
|
|
17
|
|
|
18
|
|
|
19 import org.eclipse.swt.SWT;
|
|
|
20 import org.eclipse.swt.SWTException;
|
|
|
21 import org.eclipse.swt.graphics.Color;
|
|
|
22 import org.eclipse.swt.graphics.Cursor;
|
|
|
23 import org.eclipse.swt.graphics.GC;
|
|
|
24 import org.eclipse.swt.graphics.Point;
|
|
|
25 import org.eclipse.swt.graphics.RGB;
|
|
|
26 import org.eclipse.swt.graphics.Rectangle;
|
|
|
27 import org.eclipse.swt.widgets.Composite;
|
|
|
28 import org.eclipse.swt.widgets.Control;
|
|
|
29 import org.eclipse.swt.widgets.Event;
|
|
|
30 import org.eclipse.swt.widgets.Layout;
|
|
|
31 import org.eclipse.swt.widgets.Listener;
|
|
|
32 import org.eclipse.swt.custom.CBannerLayout;
|
|
|
33
|
|
|
34
|
|
|
35
|
|
|
36 /**
|
|
|
37 * Instances of this class implement a Composite that lays out its
|
|
|
38 * children and allows programmatic control of the layout. It draws
|
|
|
39 * a separator between the left and right children which can be dragged
|
|
|
40 * to resize the right control.
|
|
|
41 * CBanner is used in the workbench to layout the toolbar area and
|
|
|
42 * perspective switching toolbar.
|
|
|
43 * <p>
|
|
|
44 * Note that although this class is a subclass of <code>Composite</code>,
|
|
|
45 * it does not make sense to set a layout on it.
|
|
|
46 * </p><p>
|
|
|
47 * <dl>
|
|
|
48 * <dt><b>Styles:</b></dt>
|
|
|
49 * <dd>NONE</dd>
|
|
|
50 * <dt><b>Events:</b></dt>
|
|
|
51 * <dd>(None)</dd>
|
|
|
52 * </dl>
|
|
|
53 * <p>
|
|
|
54 * IMPORTANT: This class is <em>not</em> intended to be subclassed.
|
|
|
55 * </p>
|
|
|
56 *
|
|
|
57 * @see <a href="http://www.eclipse.org/swt/">Sample code and further information</a>
|
|
|
58 *
|
|
|
59 * @since 3.0
|
|
|
60 */
|
|
|
61
|
|
|
62 public class CBanner : Composite {
|
|
|
63
|
|
|
64 Control left;
|
|
|
65 Control right;
|
|
|
66 Control bottom;
|
|
|
67
|
|
|
68 bool simple = true;
|
|
|
69
|
|
|
70 int[] curve;
|
|
|
71 int curveStart = 0;
|
|
|
72 Rectangle curveRect;
|
|
|
73 int curve_width = 5;
|
|
|
74 int curve_indent = -2;
|
|
|
75
|
|
|
76 int rightWidth = SWT.DEFAULT;
|
|
|
77 int rightMinWidth = 0;
|
|
|
78 int rightMinHeight = 0;
|
|
|
79 Cursor resizeCursor;
|
|
|
80 bool dragging = false;
|
|
|
81 int rightDragDisplacement = 0;
|
|
|
82
|
|
|
83 static const int OFFSCREEN = -200;
|
|
|
84 static const int BORDER_BOTTOM = 2;
|
|
|
85 static const int BORDER_TOP = 3;
|
|
|
86 static const int BORDER_STRIPE = 1;
|
|
|
87 static const int CURVE_TAIL = 200;
|
|
|
88 static const int BEZIER_RIGHT = 30;
|
|
|
89 static const int BEZIER_LEFT = 30;
|
|
|
90 static const int MIN_LEFT = 10;
|
|
|
91 static int BORDER1 = SWT.COLOR_WIDGET_HIGHLIGHT_SHADOW;
|
|
|
92
|
|
|
93
|
|
|
94 /**
|
|
|
95 * Constructs a new instance of this class given its parent
|
|
|
96 * and a style value describing its behavior and appearance.
|
|
|
97 * <p>
|
|
|
98 * The style value is either one of the style constants defined in
|
|
|
99 * class <code>SWT</code> which is applicable to instances of this
|
|
|
100 * class, or must be built by <em>bitwise OR</em>'ing together
|
|
|
101 * (that is, using the <code>int</code> "|" operator) two or more
|
|
|
102 * of those <code>SWT</code> style constants. The class description
|
|
|
103 * lists the style constants that are applicable to the class.
|
|
|
104 * Style bits are also inherited from superclasses.
|
|
|
105 * </p>
|
|
|
106 *
|
|
|
107 * @param parent a widget which will be the parent of the new instance (cannot be null)
|
|
|
108 * @param style the style of widget to construct
|
|
|
109 *
|
|
|
110 * @exception IllegalArgumentException <ul>
|
|
|
111 * <li>ERROR_NULL_ARGUMENT - if the parent is null</li>
|
|
|
112 * </ul>
|
|
|
113 * @exception SWTException <ul>
|
|
|
114 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li>
|
|
|
115 * </ul>
|
|
|
116 *
|
|
|
117 */
|
|
|
118 public this(Composite parent, int style) {
|
|
|
119 curveRect = new Rectangle(0, 0, 0, 0);
|
|
|
120 super(parent, checkStyle(style));
|
|
|
121 super.setLayout(new CBannerLayout());
|
|
|
122 resizeCursor = new Cursor(getDisplay(), SWT.CURSOR_SIZEWE);
|
|
|
123
|
|
|
124 Listener listener = new class() Listener {
|
|
|
125 public void handleEvent(Event e) {
|
|
|
126 switch (e.type) {
|
|
|
127 case SWT.Dispose:
|
|
|
128 onDispose(); break;
|
|
|
129 case SWT.MouseDown:
|
|
|
130 onMouseDown (e.x, e.y); break;
|
|
|
131 case SWT.MouseExit:
|
|
|
132 onMouseExit(); break;
|
|
|
133 case SWT.MouseMove:
|
|
|
134 onMouseMove(e.x, e.y); break;
|
|
|
135 case SWT.MouseUp:
|
|
|
136 onMouseUp(); break;
|
|
|
137 case SWT.Paint:
|
|
|
138 onPaint(e.gc); break;
|
|
|
139 case SWT.Resize:
|
|
|
140 onResize(); break;
|
|
|
141 default:
|
|
|
142 }
|
|
|
143 }
|
|
|
144 };
|
|
|
145 int[] events = [SWT.Dispose, SWT.MouseDown, SWT.MouseExit, SWT.MouseMove, SWT.MouseUp, SWT.Paint, SWT.Resize];
|
|
|
146 for (int i = 0; i < events.length; i++) {
|
|
|
147 addListener(events[i], listener);
|
|
|
148 }
|
|
|
149 }
|
|
|
150 static int[] bezier(int x0, int y0, int x1, int y1, int x2, int y2, int x3, int y3, int count) {
|
|
|
151 // The parametric equations for a Bezier curve for x[t] and y[t] where 0 <= t <=1 are:
|
|
|
152 // x[t] = x0+3(x1-x0)t+3(x0+x2-2x1)t^2+(x3-x0+3x1-3x2)t^3
|
|
|
153 // y[t] = y0+3(y1-y0)t+3(y0+y2-2y1)t^2+(y3-y0+3y1-3y2)t^3
|
|
|
154 double a0 = x0;
|
|
|
155 double a1 = 3*(x1 - x0);
|
|
|
156 double a2 = 3*(x0 + x2 - 2*x1);
|
|
|
157 double a3 = x3 - x0 + 3*x1 - 3*x2;
|
|
|
158 double b0 = y0;
|
|
|
159 double b1 = 3*(y1 - y0);
|
|
|
160 double b2 = 3*(y0 + y2 - 2*y1);
|
|
|
161 double b3 = y3 - y0 + 3*y1 - 3*y2;
|
|
|
162
|
|
|
163 int[] polygon = new int[2*count + 2];
|
|
|
164 for (int i = 0; i <= count; i++) {
|
|
|
165 double t = cast(double)i / cast(double)count;
|
|
|
166 polygon[2*i] = cast(int)(a0 + a1*t + a2*t*t + a3*t*t*t);
|
|
|
167 polygon[2*i + 1] = cast(int)(b0 + b1*t + b2*t*t + b3*t*t*t);
|
|
|
168 }
|
|
|
169 return polygon;
|
|
|
170 }
|
|
|
171 static int checkStyle (int style) {
|
|
|
172 return SWT.NONE;
|
|
|
173 }
|
|
|
174 /**
|
|
|
175 * Returns the Control that appears on the bottom side of the banner.
|
|
|
176 *
|
|
|
177 * @return the control that appears on the bottom side of the banner or null
|
|
|
178 *
|
|
|
179 * @exception SWTException <ul>
|
|
|
180 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
181 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
182 * </ul>
|
|
|
183 *
|
|
|
184 * @since 3.0
|
|
|
185 */
|
|
|
186 public Control getBottom() {
|
|
|
187 checkWidget();
|
|
|
188 return bottom;
|
|
|
189 }
|
|
|
190 public override Rectangle getClientArea() {
|
|
|
191 return new Rectangle(0, 0, 0, 0);
|
|
|
192 }
|
|
|
193
|
|
|
194 /**
|
|
|
195 * Returns the Control that appears on the left side of the banner.
|
|
|
196 *
|
|
|
197 * @return the control that appears on the left side of the banner or null
|
|
|
198 *
|
|
|
199 * @exception SWTException <ul>
|
|
|
200 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
201 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
202 * </ul>
|
|
|
203 *
|
|
|
204 * @since 3.0
|
|
|
205 */
|
|
|
206 public Control getLeft() {
|
|
|
207 checkWidget();
|
|
|
208 return left;
|
|
|
209 }
|
|
|
210
|
|
|
211 /**
|
|
|
212 * Returns the Control that appears on the right side of the banner.
|
|
|
213 *
|
|
|
214 * @return the control that appears on the right side of the banner or null
|
|
|
215 *
|
|
|
216 * @exception SWTException <ul>
|
|
|
217 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
218 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
219 * </ul>
|
|
|
220 *
|
|
|
221 * @since 3.0
|
|
|
222 */
|
|
|
223 public Control getRight() {
|
|
|
224 checkWidget();
|
|
|
225 return right;
|
|
|
226 }
|
|
|
227 /**
|
|
|
228 * Returns the minimum size of the control that appears on the right of the banner.
|
|
|
229 *
|
|
|
230 * @return the minimum size of the control that appears on the right of the banner
|
|
|
231 *
|
|
|
232 * @since 3.1
|
|
|
233 */
|
|
|
234 public Point getRightMinimumSize() {
|
|
|
235 checkWidget();
|
|
|
236 return new Point(rightMinWidth, rightMinHeight);
|
|
|
237 }
|
|
|
238 /**
|
|
|
239 * Returns the width of the control that appears on the right of the banner.
|
|
|
240 *
|
|
|
241 * @return the width of the control that appears on the right of the banner
|
|
|
242 *
|
|
|
243 * @since 3.0
|
|
|
244 */
|
|
|
245 public int getRightWidth() {
|
|
|
246 checkWidget();
|
|
|
247 if (right is null) return 0;
|
|
|
248 if (rightWidth is SWT.DEFAULT) {
|
|
|
249 Point size = right.computeSize(SWT.DEFAULT, SWT.DEFAULT, false);
|
|
|
250 return size.x;
|
|
|
251 }
|
|
|
252 return rightWidth;
|
|
|
253 }
|
|
|
254 /**
|
|
|
255 * Returns <code>true</code> if the CBanner is rendered
|
|
|
256 * with a simple, traditional shape.
|
|
|
257 *
|
|
|
258 * @return <code>true</code> if the CBanner is rendered with a simple shape
|
|
|
259 *
|
|
|
260 * @since 3.0
|
|
|
261 */
|
|
|
262 public bool getSimple() {
|
|
|
263 checkWidget();
|
|
|
264 return simple;
|
|
|
265 }
|
|
|
266 void onDispose() {
|
|
|
267 if (resizeCursor !is null) resizeCursor.dispose();
|
|
|
268 resizeCursor = null;
|
|
|
269 left = null;
|
|
|
270 right = null;
|
|
|
271 bottom = null;
|
|
|
272 }
|
|
|
273 void onMouseDown (int x, int y) {
|
|
|
274 if (curveRect.contains(x, y)) {
|
|
|
275 dragging = true;
|
|
|
276 rightDragDisplacement = curveStart - x + curve_width - curve_indent;
|
|
|
277 }
|
|
|
278 }
|
|
|
279 void onMouseExit() {
|
|
|
280 if (!dragging) setCursor(null);
|
|
|
281 }
|
|
|
282 void onMouseMove(int x, int y) {
|
|
|
283 if (dragging) {
|
|
|
284 Point size = getSize();
|
|
|
285 if (!(0 < x && x < size.x)) return;
|
|
|
286 rightWidth = Math.max(0, size.x - x - rightDragDisplacement);
|
|
|
287 if (rightMinWidth is SWT.DEFAULT) {
|
|
|
288 Point minSize = right.computeSize(rightMinWidth, rightMinHeight);
|
|
|
289 rightWidth = Math.max(minSize.x, rightWidth);
|
|
|
290 } else {
|
|
|
291 rightWidth = Math.max(rightMinWidth, rightWidth);
|
|
|
292 }
|
|
|
293 layout(false);
|
|
|
294 return;
|
|
|
295 }
|
|
|
296 if (curveRect.contains(x, y)) {
|
|
|
297 setCursor(resizeCursor);
|
|
|
298 } else {
|
|
|
299 setCursor(null);
|
|
|
300 }
|
|
|
301 }
|
|
|
302 void onMouseUp () {
|
|
|
303 dragging = false;
|
|
|
304 }
|
|
|
305 void onPaint(GC gc) {
|
|
|
306 // Useful for debugging paint problems
|
|
|
307 // {
|
|
|
308 // Point size = getSize();
|
|
|
309 // gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_GREEN));
|
|
|
310 // gc.fillRectangle(-10, -10, size.x+20, size.y+20);
|
|
|
311 // }
|
|
|
312 if (left is null && right is null) return;
|
|
|
313 Point size = getSize();
|
|
|
314 Color border1 = getDisplay().getSystemColor(BORDER1);
|
|
|
315 if (bottom !is null) {
|
|
|
316 int y = bottom.getBounds().y - BORDER_STRIPE - 1;
|
|
|
317 gc.setForeground(border1);
|
|
|
318 gc.drawLine(0, y, size.x, y);
|
|
|
319 }
|
|
|
320 if (left is null || right is null) return;
|
|
|
321 int[] line1 = new int[curve.length+6];
|
|
|
322 int index = 0;
|
|
|
323 int x = curveStart;
|
|
|
324 line1[index++] = x + 1;
|
|
|
325 line1[index++] = size.y - BORDER_STRIPE;
|
|
|
326 for (int i = 0; i < curve.length/2; i++) {
|
|
|
327 line1[index++]=x+curve[2*i];
|
|
|
328 line1[index++]=curve[2*i+1];
|
|
|
329 }
|
|
|
330 line1[index++] = x + curve_width;
|
|
|
331 line1[index++] = 0;
|
|
|
332 line1[index++] = size.x;
|
|
|
333 line1[index++] = 0;
|
|
|
334
|
|
|
335 Color background = getBackground();
|
|
|
336
|
|
|
337 if (getDisplay().getDepth() >= 15) {
|
|
|
338 // Anti- aliasing
|
|
|
339 int[] line2 = new int[line1.length];
|
|
|
340 index = 0;
|
|
|
341 for (int i = 0; i < line1.length/2; i++) {
|
|
|
342 line2[index] = line1[index++] - 1;
|
|
|
343 line2[index] = line1[index++];
|
|
|
344 }
|
|
|
345 int[] line3 = new int[line1.length];
|
|
|
346 index = 0;
|
|
|
347 for (int i = 0; i < line1.length/2; i++) {
|
|
|
348 line3[index] = line1[index++] + 1;
|
|
|
349 line3[index] = line1[index++];
|
|
|
350 }
|
|
|
351 RGB from = border1.getRGB();
|
|
|
352 RGB to = background.getRGB();
|
|
|
353 int red = from.red + 3*(to.red - from.red)/4;
|
|
|
354 int green = from.green + 3*(to.green - from.green)/4;
|
|
|
355 int blue = from.blue + 3*(to.blue - from.blue)/4;
|
|
|
356 Color color = new Color(getDisplay(), red, green, blue);
|
|
|
357 gc.setForeground(color);
|
|
|
358 gc.drawPolyline(line2);
|
|
|
359 gc.drawPolyline(line3);
|
|
|
360 color.dispose();
|
|
|
361
|
|
|
362 // draw tail fading to background
|
|
|
363 int x1 = Math.max(0, curveStart - CURVE_TAIL);
|
|
|
364 gc.setForeground(background);
|
|
|
365 gc.setBackground(border1);
|
|
|
366 gc.fillGradientRectangle(x1, size.y - BORDER_STRIPE, curveStart-x1+1, 1, false);
|
|
|
367 } else {
|
|
|
368 // draw solid tail
|
|
|
369 int x1 = Math.max(0, curveStart - CURVE_TAIL);
|
|
|
370 gc.setForeground(border1);
|
|
|
371 gc.drawLine(x1, size.y - BORDER_STRIPE, curveStart+1, size.y - BORDER_STRIPE);
|
|
|
372 }
|
|
|
373
|
|
|
374 // draw border
|
|
|
375 gc.setForeground(border1);
|
|
|
376 gc.drawPolyline(line1);
|
|
|
377 }
|
|
|
378
|
|
|
379 void onResize() {
|
|
|
380 updateCurve(getSize().y);
|
|
|
381 }
|
|
|
382 /**
|
|
|
383 * Set the control that appears on the bottom side of the banner.
|
|
|
384 * The bottom control is optional. Setting the bottom control to null will remove it from
|
|
|
385 * the banner - however, the creator of the control must dispose of the control.
|
|
|
386 *
|
|
|
387 * @param control the control to be displayed on the bottom or null
|
|
|
388 *
|
|
|
389 * @exception SWTException <ul>
|
|
|
390 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
391 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
392 * <li>ERROR_INVALID_ARGUMENT - if the bottom control was not created as a child of the receiver</li>
|
|
|
393 * </ul>
|
|
|
394 *
|
|
|
395 * @since 3.0
|
|
|
396 */
|
|
|
397 public void setBottom(Control control) {
|
|
|
398 checkWidget();
|
|
|
399 if (control !is null && control.getParent() !is this) {
|
|
|
400 SWT.error(SWT.ERROR_INVALID_ARGUMENT);
|
|
|
401 }
|
|
|
402 if (bottom !is null && !bottom.isDisposed()) {
|
|
|
403 Point size = bottom.getSize();
|
|
|
404 bottom.setLocation(OFFSCREEN - size.x, OFFSCREEN - size.y);
|
|
|
405 }
|
|
|
406 bottom = control;
|
|
|
407 layout(false);
|
|
|
408 }
|
|
|
409 /**
|
|
|
410 * Sets the layout which is associated with the receiver to be
|
|
|
411 * the argument which may be null.
|
|
|
412 * <p>
|
|
|
413 * Note: No Layout can be set on this Control because it already
|
|
|
414 * manages the size and position of its children.
|
|
|
415 * </p>
|
|
|
416 *
|
|
|
417 * @param layout the receiver's new layout or null
|
|
|
418 *
|
|
|
419 * @exception SWTException <ul>
|
|
|
420 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
421 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
422 * </ul>
|
|
|
423 */
|
|
|
424 public override void setLayout (Layout layout) {
|
|
|
425 checkWidget();
|
|
|
426 return;
|
|
|
427 }
|
|
|
428
|
|
|
429 /**
|
|
|
430 * Set the control that appears on the left side of the banner.
|
|
|
431 * The left control is optional. Setting the left control to null will remove it from
|
|
|
432 * the banner - however, the creator of the control must dispose of the control.
|
|
|
433 *
|
|
|
434 * @param control the control to be displayed on the left or null
|
|
|
435 *
|
|
|
436 * @exception SWTException <ul>
|
|
|
437 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
438 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
439 * <li>ERROR_INVALID_ARGUMENT - if the left control was not created as a child of the receiver</li>
|
|
|
440 * </ul>
|
|
|
441 *
|
|
|
442 * @since 3.0
|
|
|
443 */
|
|
|
444 public void setLeft(Control control) {
|
|
|
445 checkWidget();
|
|
|
446 if (control !is null && control.getParent() !is this) {
|
|
|
447 SWT.error(SWT.ERROR_INVALID_ARGUMENT);
|
|
|
448 }
|
|
|
449 if (left !is null && !left.isDisposed()) {
|
|
|
450 Point size = left.getSize();
|
|
|
451 left.setLocation(OFFSCREEN - size.x, OFFSCREEN - size.y);
|
|
|
452 }
|
|
|
453 left = control;
|
|
|
454 layout(false);
|
|
|
455 }
|
|
|
456 /**
|
|
|
457 * Set the control that appears on the right side of the banner.
|
|
|
458 * The right control is optional. Setting the right control to null will remove it from
|
|
|
459 * the banner - however, the creator of the control must dispose of the control.
|
|
|
460 *
|
|
|
461 * @param control the control to be displayed on the right or null
|
|
|
462 *
|
|
|
463 * @exception SWTException <ul>
|
|
|
464 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
465 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
466 * <li>ERROR_INVALID_ARGUMENT - if the right control was not created as a child of the receiver</li>
|
|
|
467 * </ul>
|
|
|
468 *
|
|
|
469 * @since 3.0
|
|
|
470 */
|
|
|
471 public void setRight(Control control) {
|
|
|
472 checkWidget();
|
|
|
473 if (control !is null && control.getParent() !is this) {
|
|
|
474 SWT.error(SWT.ERROR_INVALID_ARGUMENT);
|
|
|
475 }
|
|
|
476 if (right !is null && !right.isDisposed()) {
|
|
|
477 Point size = right.getSize();
|
|
|
478 right.setLocation(OFFSCREEN - size.x, OFFSCREEN - size.y);
|
|
|
479 }
|
|
|
480 right = control;
|
|
|
481 layout(false);
|
|
|
482 }
|
|
|
483 /**
|
|
|
484 * Set the minimum height of the control that appears on the right side of the banner.
|
|
|
485 *
|
|
|
486 * @param size the minimum size of the control on the right
|
|
|
487 *
|
|
|
488 * @exception SWTException <ul>
|
|
|
489 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
490 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
491 * <li>ERROR_INVALID_ARGUMENT - if the size is null or the values of size are less than SWT.DEFAULT</li>
|
|
|
492 * </ul>
|
|
|
493 *
|
|
|
494 * @since 3.1
|
|
|
495 */
|
|
|
496 public void setRightMinimumSize(Point size) {
|
|
|
497 checkWidget();
|
|
|
498 if (size is null || size.x < SWT.DEFAULT || size.y < SWT.DEFAULT) SWT.error(SWT.ERROR_INVALID_ARGUMENT);
|
|
|
499 rightMinWidth = size.x;
|
|
|
500 rightMinHeight = size.y;
|
|
|
501 layout(false);
|
|
|
502 }
|
|
|
503 /**
|
|
|
504 * Set the width of the control that appears on the right side of the banner.
|
|
|
505 *
|
|
|
506 * @param width the width of the control on the right
|
|
|
507 *
|
|
|
508 * @exception SWTException <ul>
|
|
|
509 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
510 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
511 * <li>ERROR_INVALID_ARGUMENT - if width is less than SWT.DEFAULT</li>
|
|
|
512 * </ul>
|
|
|
513 *
|
|
|
514 * @since 3.0
|
|
|
515 */
|
|
|
516 public void setRightWidth(int width) {
|
|
|
517 checkWidget();
|
|
|
518 if (width < SWT.DEFAULT) SWT.error(SWT.ERROR_INVALID_ARGUMENT);
|
|
|
519 rightWidth = width;
|
|
|
520 layout(false);
|
|
|
521 }
|
|
|
522 /**
|
|
|
523 * Sets the shape that the CBanner will use to render itself.
|
|
|
524 *
|
|
|
525 * @param simple <code>true</code> if the CBanner should render itself in a simple, traditional style
|
|
|
526 *
|
|
|
527 * @exception SWTException <ul>
|
|
|
528 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
|
|
|
529 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
|
|
|
530 * </ul>
|
|
|
531 *
|
|
|
532 * @since 3.0
|
|
|
533 */
|
|
|
534 public void setSimple(bool simple) {
|
|
|
535 checkWidget();
|
|
|
536 if (this.simple !is simple) {
|
|
|
537 this.simple = simple;
|
|
|
538 if (simple) {
|
|
|
539 curve_width = 5;
|
|
|
540 curve_indent = -2;
|
|
|
541 } else {
|
|
|
542 curve_width = 50;
|
|
|
543 curve_indent = 5;
|
|
|
544 }
|
|
|
545 updateCurve(getSize().y);
|
|
|
546 layout(false);
|
|
|
547 redraw();
|
|
|
548 }
|
|
|
549 }
|
|
|
550 void updateCurve(int height) {
|
|
|
551 int h = height - BORDER_STRIPE;
|
|
|
552 if (simple) {
|
|
|
553 curve = [0,h, 1,h, 2,h-1, 3,h-2,
|
|
|
554 3,2, 4,1, 5,0];
|
|
|
555 } else {
|
|
|
556 curve = bezier(0, h+1, BEZIER_LEFT, h+1,
|
|
|
557 curve_width-BEZIER_RIGHT, 0, curve_width, 0,
|
|
|
558 curve_width);
|
|
|
559 }
|
|
|
560 }
|
|
|
561 }
|
