
org.eclipse.swt.custom.ViewForm Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of org.eclipse.swt.gtk.hpux.ia64 Show documentation
Show all versions of org.eclipse.swt.gtk.hpux.ia64 Show documentation
SWT is an open source widget toolkit for Java designed to provide efficient, portable access to the user-interface facilities of the operating systems on which it is implemented.
The newest version!
/*******************************************************************************
* Copyright (c) 2000, 2011 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.swt.custom;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.widgets.*;
import org.eclipse.swt.*;
/**
* Instances of this class implement a Composite that positions and sizes
* children and allows programmatic control of layout and border parameters.
* ViewForm is used in the workbench to lay out a view's label/menu/toolbar
* local bar.
*
* Note that although this class is a subclass of Composite
,
* it does not make sense to set a layout on it.
*
*
* - Styles:
* - BORDER, FLAT
* - Events:
* - (None)
*
*
* IMPORTANT: This class is not intended to be subclassed.
*
*
* @see Sample code and further information
* @noextend This class is not intended to be subclassed by clients.
*/
public class ViewForm extends Composite {
/**
* marginWidth specifies the number of pixels of horizontal margin
* that will be placed along the left and right edges of the form.
*
* The default value is 0.
*/
public int marginWidth = 0;
/**
* marginHeight specifies the number of pixels of vertical margin
* that will be placed along the top and bottom edges of the form.
*
* The default value is 0.
*/
public int marginHeight = 0;
/**
* horizontalSpacing specifies the number of pixels between the right
* edge of one cell and the left edge of its neighbouring cell to
* the right.
*
* The default value is 1.
*/
public int horizontalSpacing = 1;
/**
* verticalSpacing specifies the number of pixels between the bottom
* edge of one cell and the top edge of its neighbouring cell underneath.
*
* The default value is 1.
*/
public int verticalSpacing = 1;
/**
* Color of innermost line of drop shadow border.
*
* NOTE This field is badly named and can not be fixed for backwards compatibility.
* It should be capitalized.
*
* @deprecated
*/
public static RGB borderInsideRGB = new RGB (132, 130, 132);
/**
* Color of middle line of drop shadow border.
*
* NOTE This field is badly named and can not be fixed for backwards compatibility.
* It should be capitalized.
*
* @deprecated
*/
public static RGB borderMiddleRGB = new RGB (143, 141, 138);
/**
* Color of outermost line of drop shadow border.
*
* NOTE This field is badly named and can not be fixed for backwards compatibility.
* It should be capitalized.
*
* @deprecated
*/
public static RGB borderOutsideRGB = new RGB (171, 168, 165);
// SWT widgets
Control topLeft;
Control topCenter;
Control topRight;
Control content;
// Configuration and state info
boolean separateTopCenter = false;
boolean showBorder = false;
int separator = -1;
int borderTop = 0;
int borderBottom = 0;
int borderLeft = 0;
int borderRight = 0;
int highlight = 0;
Point oldSize;
Color selectionBackground;
Listener listener;
static final int OFFSCREEN = -200;
static final int BORDER1_COLOR = SWT.COLOR_WIDGET_NORMAL_SHADOW;
static final int SELECTION_BACKGROUND = SWT.COLOR_LIST_BACKGROUND;
/**
* Constructs a new instance of this class given its parent
* and a style value describing its behavior and appearance.
*
* The style value is either one of the style constants defined in
* class SWT
which is applicable to instances of this
* class, or must be built by bitwise OR'ing together
* (that is, using the int
"|" operator) two or more
* of those SWT
style constants. The class description
* lists the style constants that are applicable to the class.
* Style bits are also inherited from superclasses.
*
*
* @param parent a widget which will be the parent of the new instance (cannot be null)
* @param style the style of widget to construct
*
* @exception IllegalArgumentException
* - ERROR_NULL_ARGUMENT - if the parent is null
*
* @exception SWTException
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent
*
*
* @see SWT#BORDER
* @see SWT#FLAT
* @see #getStyle()
*/
public ViewForm(Composite parent, int style) {
super(parent, checkStyle(style));
super.setLayout(new ViewFormLayout());
setBorderVisible((style & SWT.BORDER) != 0);
listener = new Listener() {
public void handleEvent(Event e) {
switch (e.type) {
case SWT.Dispose: onDispose(e); break;
case SWT.Paint: onPaint(e.gc); break;
case SWT.Resize: onResize(); break;
}
}
};
int[] events = new int[] {SWT.Dispose, SWT.Paint, SWT.Resize};
for (int i = 0; i < events.length; i++) {
addListener(events[i], listener);
}
}
static int checkStyle (int style) {
int mask = SWT.FLAT | SWT.LEFT_TO_RIGHT | SWT.RIGHT_TO_LEFT;
return style & mask | SWT.NO_REDRAW_RESIZE;
}
//protected void checkSubclass () {
// String name = getClass().getName ();
// String validName = ViewForm.class.getName();
// if (!validName.equals(name)) {
// SWT.error (SWT.ERROR_INVALID_SUBCLASS);
// }
//}
public Rectangle computeTrim (int x, int y, int width, int height) {
checkWidget ();
int trimX = x - borderLeft - highlight;
int trimY = y - borderTop - highlight;
int trimWidth = width + borderLeft + borderRight + 2*highlight;
int trimHeight = height + borderTop + borderBottom + 2*highlight;
return new Rectangle(trimX, trimY, trimWidth, trimHeight);
}
public Rectangle getClientArea() {
checkWidget();
Rectangle clientArea = super.getClientArea();
clientArea.x += borderLeft;
clientArea.y += borderTop;
clientArea.width -= borderLeft + borderRight;
clientArea.height -= borderTop + borderBottom;
return clientArea;
}
/**
* Returns the content area.
*
* @return the control in the content area of the pane or null
*/
public Control getContent() {
//checkWidget();
return content;
}
/**
* Returns Control that appears in the top center of the pane.
* Typically this is a toolbar.
*
* @return the control in the top center of the pane or null
*/
public Control getTopCenter() {
//checkWidget();
return topCenter;
}
/**
* Returns the Control that appears in the top left corner of the pane.
* Typically this is a label such as CLabel.
*
* @return the control in the top left corner of the pane or null
*/
public Control getTopLeft() {
//checkWidget();
return topLeft;
}
/**
* Returns the control in the top right corner of the pane.
* Typically this is a Close button or a composite with a Menu and Close button.
*
* @return the control in the top right corner of the pane or null
*/
public Control getTopRight() {
//checkWidget();
return topRight;
}
void onDispose(Event event) {
removeListener(SWT.Dispose, listener);
notifyListeners(SWT.Dispose, event);
event.type = SWT.None;
topLeft = null;
topCenter = null;
topRight = null;
content = null;
oldSize = null;
selectionBackground = null;
}
void onPaint(GC gc) {
Color gcForeground = gc.getForeground();
Point size = getSize();
Color border = getDisplay().getSystemColor(BORDER1_COLOR);
if (showBorder) {
gc.setForeground(border);
gc.drawRectangle(0, 0, size.x - 1, size.y - 1);
if (highlight > 0) {
int x1 = 1;
int y1 = 1;
int x2 = size.x - 1;
int y2 = size.y - 1;
int[] shape = new int[] {x1,y1, x2,y1, x2,y2, x1,y2, x1,y1+highlight,
x1+highlight,y1+highlight, x1+highlight,y2-highlight,
x2-highlight,y2-highlight, x2-highlight,y1+highlight, x1,y1+highlight};
Color highlightColor = getDisplay().getSystemColor(SWT.COLOR_LIST_SELECTION);
gc.setBackground(highlightColor);
gc.fillPolygon(shape);
}
}
if (separator > -1) {
gc.setForeground(border);
gc.drawLine(borderLeft + highlight, separator, size.x - borderLeft - borderRight - highlight, separator);
}
gc.setForeground(gcForeground);
}
void onResize() {
Point size = getSize();
if (oldSize == null || oldSize.x == 0 || oldSize.y == 0) {
redraw();
} else {
int width = 0;
if (oldSize.x < size.x) {
width = size.x - oldSize.x + borderRight + highlight;
} else if (oldSize.x > size.x) {
width = borderRight + highlight;
}
redraw(size.x - width, 0, width, size.y, false);
int height = 0;
if (oldSize.y < size.y) {
height = size.y - oldSize.y + borderBottom + highlight;
}
if (oldSize.y > size.y) {
height = borderBottom + highlight;
}
redraw(0, size.y - height, size.x, height, false);
}
oldSize = size;
}
/**
* Sets the content.
* Setting the content to null will remove it from
* the pane - however, the creator of the content must dispose of the content.
*
* @param content the control to be displayed in the content area or null
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* - ERROR_INVALID_ARGUMENT - if the control is not a child of this ViewForm
*
*/
public void setContent(Control content) {
checkWidget();
if (content != null && content.getParent() != this) {
SWT.error(SWT.ERROR_INVALID_ARGUMENT);
}
if (this.content != null && !this.content.isDisposed()) {
this.content.setBounds(OFFSCREEN, OFFSCREEN, 0, 0);
}
this.content = content;
layout(false);
}
/**
* Sets the layout which is associated with the receiver to be
* the argument which may be null.
*
* Note: No Layout can be set on this Control because it already
* manages the size and position of its children.
*
*
* @param layout the receiver's new layout or null
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
*
*/
public void setLayout (Layout layout) {
checkWidget();
return;
}
void setSelectionBackground (Color color) {
checkWidget();
if (selectionBackground == color) return;
if (color == null) color = getDisplay().getSystemColor(SELECTION_BACKGROUND);
selectionBackground = color;
redraw();
}
/**
* Set the control that appears in the top center of the pane.
* Typically this is a toolbar.
* The topCenter is optional. Setting the topCenter to null will remove it from
* the pane - however, the creator of the topCenter must dispose of the topCenter.
*
* @param topCenter the control to be displayed in the top center or null
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* - ERROR_INVALID_ARGUMENT - if the control is not a child of this ViewForm
*
*/
public void setTopCenter(Control topCenter) {
checkWidget();
if (topCenter != null && topCenter.getParent() != this) {
SWT.error(SWT.ERROR_INVALID_ARGUMENT);
}
if (this.topCenter != null && !this.topCenter.isDisposed()) {
Point size = this.topCenter.getSize();
this.topCenter.setLocation(OFFSCREEN - size.x, OFFSCREEN - size.y);
}
this.topCenter = topCenter;
layout(false);
}
/**
* Set the control that appears in the top left corner of the pane.
* Typically this is a label such as CLabel.
* The topLeft is optional. Setting the top left control to null will remove it from
* the pane - however, the creator of the control must dispose of the control.
*
* @param c the control to be displayed in the top left corner or null
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* - ERROR_INVALID_ARGUMENT - if the control is not a child of this ViewForm
*
*/
public void setTopLeft(Control c) {
checkWidget();
if (c != null && c.getParent() != this) {
SWT.error(SWT.ERROR_INVALID_ARGUMENT);
}
if (this.topLeft != null && !this.topLeft.isDisposed()) {
Point size = this.topLeft.getSize();
this.topLeft.setLocation(OFFSCREEN - size.x, OFFSCREEN - size.y);
}
this.topLeft = c;
layout(false);
}
/**
* Set the control that appears in the top right corner of the pane.
* Typically this is a Close button or a composite with a Menu and Close button.
* The topRight is optional. Setting the top right control to null will remove it from
* the pane - however, the creator of the control must dispose of the control.
*
* @param c the control to be displayed in the top right corner or null
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* - ERROR_INVALID_ARGUMENT - if the control is not a child of this ViewForm
*
*/
public void setTopRight(Control c) {
checkWidget();
if (c != null && c.getParent() != this) {
SWT.error(SWT.ERROR_INVALID_ARGUMENT);
}
if (this.topRight != null && !this.topRight.isDisposed()) {
Point size = this.topRight.getSize();
this.topRight.setLocation(OFFSCREEN - size.x, OFFSCREEN - size.y);
}
this.topRight = c;
layout(false);
}
/**
* Specify whether the border should be displayed or not.
*
* @param show true if the border should be displayed
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
*
*/
public void setBorderVisible(boolean show) {
checkWidget();
if (showBorder == show) return;
showBorder = show;
if (showBorder) {
borderLeft = borderTop = borderRight = borderBottom = 1;
if ((getStyle() & SWT.FLAT)== 0) highlight = 2;
} else {
borderBottom = borderTop = borderLeft = borderRight = 0;
highlight = 0;
}
layout(false);
redraw();
}
/**
* If true, the topCenter will always appear on a separate line by itself, otherwise the
* topCenter will appear in the top row if there is room and will be moved to the second row if
* required.
*
* @param show true if the topCenter will always appear on a separate line by itself
*
* @exception SWTException
* - ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* - ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
*
*/
public void setTopCenterSeparate(boolean show) {
checkWidget();
separateTopCenter = show;
layout(false);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy