Point minimumSize(int wHint, int hHint, boolean flushCache) {
Control[] children = _getChildren();
int width = 0, height = 0;
for (int i = 0; i < children.length; i++) {
Control child = children[i];
int index = 0;
int count = 0;
long /*int*/ list = OS.gtk_container_get_children(handle);
if (list != 0) {
count = OS.g_list_length(list);
OS.g_list_free(list);
}
while (index < count) {
if (items[index].control == child) break;
index++;
}
if (index == count) {
Rectangle rect = child.getBounds();
width = Math.max(width, rect.x + rect.width);
height = Math.max(height, rect.y + rect.height);
} else {
Point size = child.computeSize(wHint, hHint, flushCache);
width = Math.max(width, size.x);
height = Math.max(height, size.y);
}
}
return new Point(width, height);
}
/**
* Set the label's margins, in pixels.
*
* @param leftMargin the left margin.
* @param topMargin the top margin.
* @param rightMargin the right margin.
* @param bottomMargin the bottom margin.
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*
* @since 3.6
*/
public void setMargins(int leftMargin, int topMargin, int rightMargin, int bottomMargin) {
checkWidget();
this.leftMargin = Math.max(0, leftMargin);
this.topMargin = Math.max(0, topMargin);
this.rightMargin = Math.max(0, rightMargin);
this.bottomMargin = Math.max(0, bottomMargin);
redraw();
}
private void setHoverLocation(
org.eclipse.swt.widgets.Shell shell, org.eclipse.swt.graphics.Point position) {
org.eclipse.swt.graphics.Rectangle displayBounds = shell.getDisplay().getBounds();
org.eclipse.swt.graphics.Rectangle shellBounds = shell.getBounds();
shellBounds.x = Math.max(Math.min(position.x, displayBounds.width - shellBounds.width), 0);
shellBounds.y =
Math.max(Math.min(position.y + 16, displayBounds.height - shellBounds.height), 0);
shell.setBounds(shellBounds);
}
void setBounds(int x, int y, int width, int height) {
/*
* Feature in Motif. Motif will not allow a window
* to have a zero width or zero height. The fix is
* to ensure these values are never zero.
*/
int newWidth = Math.max(width, 1), newHeight = Math.max(height, 1);
OS.XtConfigureWidget(handle, x, y, newWidth, newHeight, 0);
}
int XPointerMotion(int w, int client_data, int call_data, int continue_to_dispatch) {
int result = super.XPointerMotion(w, client_data, call_data, continue_to_dispatch);
if (result != 0) return result;
XMotionEvent xEvent = new XMotionEvent();
OS.memmove(xEvent, call_data, XMotionEvent.sizeof);
if (!dragging || (xEvent.state & OS.Button1Mask) == 0) return result;
short[] x_root = new short[1], y_root = new short[1];
OS.XtTranslateCoords(handle, (short) 0, (short) 0, x_root, y_root);
int eventX = xEvent.x_root - x_root[0], eventY = xEvent.y_root - y_root[0];
int[] argList1 = {
OS.XmNx, 0, OS.XmNy, 0, OS.XmNwidth, 0, OS.XmNheight, 0, OS.XmNborderWidth, 0
};
OS.XtGetValues(handle, argList1, argList1.length / 2);
int border = argList1[9],
x = ((short) argList1[1]) - border,
y = ((short) argList1[3]) - border;
int width = argList1[5] + (border * 2), height = argList1[7] + (border * 2);
int[] argList2 = {OS.XmNwidth, 0, OS.XmNheight, 0, OS.XmNborderWidth, 0};
OS.XtGetValues(parent.handle, argList2, argList2.length / 2);
int parentBorder = argList2[5];
int parentWidth = argList2[1] + (parentBorder * 2);
int parentHeight = argList2[3] + (parentBorder * 2);
int newX = lastX, newY = lastY;
if ((style & SWT.VERTICAL) != 0) {
newX = Math.min(Math.max(0, eventX + x - startX - parentBorder), parentWidth - width);
} else {
newY = Math.min(Math.max(0, eventY + y - startY - parentBorder), parentHeight - height);
}
if (newX == lastX && newY == lastY) return result;
drawBand(lastX, lastY, width, height);
Event event = new Event();
event.time = xEvent.time;
event.x = newX;
event.y = newY;
event.width = width;
event.height = height;
if ((style & SWT.SMOOTH) == 0) {
event.detail = SWT.DRAG;
}
sendEvent(SWT.Selection, event);
if (isDisposed()) return result;
if (event.doit) {
lastX = event.x;
lastY = event.y;
}
parent.update(true);
drawBand(lastX, lastY, width, height);
if ((style & SWT.SMOOTH) != 0) {
setBounds(lastX, lastY, width, height);
// widget could be disposed at this point
}
return result;
}
public Point computeSize(int wHint, int hHint, boolean changed) {
checkWidget();
Point size = super.computeSize(wHint, hHint, changed);
if (wHint != SWT.DEFAULT && wHint < 0) wHint = 0;
if (hHint != SWT.DEFAULT && hHint < 0) hHint = 0;
boolean scrollable = OS.gtk_notebook_get_scrollable(handle);
OS.gtk_notebook_set_scrollable(handle, false);
Point notebookSize = computeNativeSize(handle, wHint, hHint, changed);
OS.gtk_notebook_set_scrollable(handle, scrollable);
size.x = Math.max(notebookSize.x, size.x);
size.y = Math.max(notebookSize.y, size.y);
return size;
}
/**
* Sets the width of the receiver.
*
* @param width the new width
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public void setWidth(int width) {
checkWidget();
if (width < 0) return;
// TODO how to differentiate 0 and 1 cases?
width = Math.max(0, width - Tree.CELL_GAP);
nsColumn.setWidth(width);
}
private String rgbToHex(int value) {
value = Math.max(0, value);
value = Math.min(value, 255);
String hex = Integer.toHexString(value).toUpperCase();
if (hex.length() == 1) hex = '0' + hex;
return hex;
}
void updateBar(int selection, int minimum, int maximum, int thumb) {
NSScroller widget = (NSScroller) view;
selection = Math.max(minimum, Math.min(maximum - thumb, selection));
float fraction =
minimum == maximum ? 1 : (float) (selection - minimum) / (maximum - thumb - minimum);
float knob = minimum == maximum ? 1 : (float) (thumb - minimum) / (maximum - minimum);
widget.setFloatValue(fraction, knob);
}
/**
* Sets the minimum value. If this value is negative or greater than or equal to the maximum, the
* value is ignored. If necessary, first the thumb and then the selection are adjusted to fit
* within the new range.
*
* @param value the new minimum
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public void setMinimum(int value) {
checkWidget();
if (value < 0) return;
if (value >= maximum) return;
if (maximum - value < thumb) {
thumb = maximum - value;
}
int selection = Math.min(maximum - thumb, Math.max(getSelection(), value));
this.minimum = value;
updateBar(selection, value, maximum, thumb);
}
/**
* Sets the maximum. If this value is negative or less than or equal to the minimum, the value is
* ignored. If necessary, first the thumb and then the selection are adjusted to fit within the
* new range.
*
* @param value the new maximum, which must be greater than the current minimum
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public void setMaximum(int value) {
checkWidget();
if (value < 0) return;
if (value <= minimum) return;
if (value - minimum < thumb) {
thumb = value - minimum;
}
int selection = Math.max(minimum, Math.min(getSelection(), value - thumb));
this.maximum = value;
updateBar(selection, minimum, value, thumb);
}
/** Compute the minimum size. */
private Point getTotalSize(Image image, String text) {
Point size = new Point(0, 0);
if (image != null) {
Rectangle r = image.getBounds();
size.x += r.width;
size.y += r.height;
}
GC gc = new GC(this);
if (text != null && text.length() > 0) {
Point e = gc.textExtent(text, DRAW_FLAGS);
size.x += e.x;
size.y = Math.max(size.y, e.y);
if (image != null) size.x += GAP;
} else {
size.y = Math.max(size.y, gc.getFontMetrics().getHeight());
}
gc.dispose();
return size;
}
/**
* Returns a rectangle describing the receiver's size and location relative to its parent.
*
* @return the receiver's bounding rectangle
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public Rectangle getBounds() {
checkWidget();
parent.forceResize();
long /*int*/ topHandle = topHandle();
int x, y, width, height;
x = OS.GTK_WIDGET_X(topHandle);
y = OS.GTK_WIDGET_Y(topHandle);
width = OS.GTK_WIDGET_WIDTH(topHandle);
height = OS.GTK_WIDGET_HEIGHT(topHandle);
if ((parent.style & SWT.MIRRORED) != 0) x = parent.getClientWidth() - width - x;
if ((style & SWT.SEPARATOR) != 0 && control != null) height = Math.max(height, 23);
return new Rectangle(x, y, width, height);
}
LRESULT wmMeasureChild(long /*int*/ wParam, long /*int*/ lParam) {
MEASUREITEMSTRUCT struct = new MEASUREITEMSTRUCT();
OS.MoveMemory(struct, lParam, MEASUREITEMSTRUCT.sizeof);
int width = 0, height = 0;
if (image != null) {
Rectangle rect = image.getBounds();
width = rect.width;
height = rect.height;
} else {
/*
* Bug in Windows. If a menu contains items that have
* images and can be checked, Windows does not include
* the width of the image and the width of the check when
* computing the width of the menu. When the longest item
* does not have an image, the label and the accelerator
* text can overlap. The fix is to use SetMenuItemInfo()
* to indicate that all items have a bitmap and then include
* the width of the widest bitmap in WM_MEASURECHILD.
*/
MENUINFO lpcmi = new MENUINFO();
lpcmi.cbSize = MENUINFO.sizeof;
lpcmi.fMask = OS.MIM_STYLE;
long /*int*/ hMenu = parent.handle;
OS.GetMenuInfo(hMenu, lpcmi);
if ((lpcmi.dwStyle & OS.MNS_CHECKORBMP) == 0) {
MenuItem[] items = parent.getItems();
for (int i = 0; i < items.length; i++) {
MenuItem item = items[i];
if (item.image != null) {
Rectangle rect = item.image.getBounds();
width = Math.max(width, rect.width);
}
}
}
}
if (width != 0 || height != 0) {
struct.itemWidth = width + MARGIN_WIDTH * 2;
struct.itemHeight = height + MARGIN_HEIGHT * 2;
OS.MoveMemory(lParam, struct, MEASUREITEMSTRUCT.sizeof);
}
return null;
}
/**
* Causes the receiver to be resized to its preferred size. For a composite, this involves
* computing the preferred size from its layout, if there is one.
*
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public void pack() {
checkWidget();
int width = 0;
/* compute header width */
NSTableHeaderCell headerCell = nsColumn.headerCell();
NSSize size = headerCell.cellSize();
width += Math.ceil(size.width);
if (image != null) {
NSSize imageSize = image.handle.size();
width += Math.ceil(imageSize.width) + MARGIN;
}
if (parent.sortColumn == this && parent.sortDirection != SWT.NONE) {
NSRect sortRect = headerCell.sortIndicatorRectForBounds(new NSRect());
width += Math.ceil(sortRect.width + 2 * MARGIN);
}
/* compute item widths down column */
GC gc = new GC(parent);
width = Math.max(width, parent.calculateWidth(parent.items, parent.indexOf(this), gc, true));
gc.dispose();
setWidth(width);
}
void drawInteriorWithFrame_inView(
long /*int*/ id, long /*int*/ sel, NSRect cellRect, long /*int*/ view) {
/*
* Feature in Cocoa. When the last column in a tree does not reach the
* rightmost edge of the tree view, the cell that draws the rightmost-
* column's header is also invoked to draw the header space between its
* right edge and the tree's right edge. If this case is detected then
* nothing should be drawn.
*/
int columnIndex = parent.indexOf(nsColumn);
NSRect headerRect = parent.headerView.headerRectOfColumn(columnIndex);
if (headerRect.x != cellRect.x || headerRect.width != cellRect.width) return;
NSGraphicsContext context = NSGraphicsContext.currentContext();
context.saveGraphicsState();
int contentWidth = 0;
NSSize stringSize = null, imageSize = null;
NSAttributedString attrString = null;
NSTableHeaderCell headerCell = nsColumn.headerCell();
if (displayText != null) {
Font font = Font.cocoa_new(display, headerCell.font());
attrString =
parent.createString(
displayText, font, null, SWT.LEFT, false, (parent.state & DISABLED) == 0, false);
stringSize = attrString.size();
contentWidth += Math.ceil(stringSize.width);
if (image != null) contentWidth += MARGIN; /* space between image and text */
}
if (image != null) {
imageSize = image.handle.size();
contentWidth += Math.ceil(imageSize.width);
}
if (parent.sortColumn == this && parent.sortDirection != SWT.NONE) {
boolean ascending = parent.sortDirection == SWT.UP;
headerCell.drawSortIndicatorWithFrame(cellRect, new NSView(view), ascending, 0);
/* remove the arrow's space from the available drawing width */
NSRect sortRect = headerCell.sortIndicatorRectForBounds(cellRect);
cellRect.width = Math.max(0, sortRect.x - cellRect.x);
}
int drawX = 0;
if ((style & SWT.CENTER) != 0) {
drawX = (int) (cellRect.x + Math.max(MARGIN, ((cellRect.width - contentWidth) / 2)));
} else if ((style & SWT.RIGHT) != 0) {
drawX = (int) (cellRect.x + Math.max(MARGIN, cellRect.width - contentWidth - MARGIN));
} else {
drawX = (int) cellRect.x + MARGIN;
}
if (image != null) {
NSRect destRect = new NSRect();
destRect.x = drawX;
destRect.y = cellRect.y;
destRect.width = Math.min(imageSize.width, cellRect.width - 2 * MARGIN);
destRect.height = Math.min(imageSize.height, cellRect.height);
boolean isFlipped = new NSView(view).isFlipped();
if (isFlipped) {
context.saveGraphicsState();
NSAffineTransform transform = NSAffineTransform.transform();
transform.scaleXBy(1, -1);
transform.translateXBy(0, -(destRect.height + 2 * destRect.y));
transform.concat();
}
NSRect sourceRect = new NSRect();
sourceRect.width = destRect.width;
sourceRect.height = destRect.height;
image.handle.drawInRect(destRect, sourceRect, OS.NSCompositeSourceOver, 1f);
if (isFlipped) context.restoreGraphicsState();
drawX += destRect.width;
}
if (displayText != null && displayText.length() > 0) {
if (image != null) drawX += MARGIN; /* space between image and text */
NSRect destRect = new NSRect();
destRect.x = drawX;
destRect.y = cellRect.y;
destRect.width = Math.min(stringSize.width, cellRect.x + cellRect.width - MARGIN - drawX);
destRect.height = Math.min(stringSize.height, cellRect.height);
attrString.drawInRect(destRect);
}
if (attrString != null) attrString.release();
context.restoreGraphicsState();
}
String parse(String string) {
int length = string.length();
offsets = new Point[length / 4];
ids = new String[length / 4];
mnemonics = new int[length / 4 + 1];
StringBuffer result = new StringBuffer();
char[] buffer = new char[length];
string.getChars(0, string.length(), buffer, 0);
int index = 0, state = 0, linkIndex = 0;
int start = 0, tagStart = 0, linkStart = 0, endtagStart = 0, refStart = 0;
while (index < length) {
char c = Character.toLowerCase(buffer[index]);
switch (state) {
case 0:
if (c == '<') {
tagStart = index;
state++;
}
break;
case 1:
if (c == 'a') state++;
break;
case 2:
switch (c) {
case 'h':
state = 7;
break;
case '>':
linkStart = index + 1;
state++;
break;
default:
if (Character.isWhitespace(c)) break;
else state = 13;
}
break;
case 3:
if (c == '<') {
endtagStart = index;
state++;
}
break;
case 4:
state = c == '/' ? state + 1 : 3;
break;
case 5:
state = c == 'a' ? state + 1 : 3;
break;
case 6:
if (c == '>') {
mnemonics[linkIndex] = parseMnemonics(buffer, start, tagStart, result);
int offset = result.length();
parseMnemonics(buffer, linkStart, endtagStart, result);
offsets[linkIndex] = new Point(offset, result.length() - 1);
if (ids[linkIndex] == null) {
ids[linkIndex] = new String(buffer, linkStart, endtagStart - linkStart);
}
linkIndex++;
start = tagStart = linkStart = endtagStart = refStart = index + 1;
state = 0;
} else {
state = 3;
}
break;
case 7:
state = c == 'r' ? state + 1 : 0;
break;
case 8:
state = c == 'e' ? state + 1 : 0;
break;
case 9:
state = c == 'f' ? state + 1 : 0;
break;
case 10:
state = c == '=' ? state + 1 : 0;
break;
case 11:
if (c == '"') {
state++;
refStart = index + 1;
} else {
state = 0;
}
break;
case 12:
if (c == '"') {
ids[linkIndex] = new String(buffer, refStart, index - refStart);
state = 2;
}
break;
case 13:
if (Character.isWhitespace(c)) {
state = 0;
} else if (c == '=') {
state++;
}
break;
case 14:
state = c == '"' ? state + 1 : 0;
break;
case 15:
if (c == '"') state = 2;
break;
default:
state = 0;
break;
}
index++;
}
if (start < length) {
int tmp = parseMnemonics(buffer, start, tagStart, result);
int mnemonic = parseMnemonics(buffer, Math.max(tagStart, linkStart), length, result);
if (mnemonic == -1) mnemonic = tmp;
mnemonics[linkIndex] = mnemonic;
} else {
mnemonics[linkIndex] = -1;
}
if (offsets.length != linkIndex) {
Point[] newOffsets = new Point[linkIndex];
System.arraycopy(offsets, 0, newOffsets, 0, linkIndex);
offsets = newOffsets;
String[] newIDs = new String[linkIndex];
System.arraycopy(ids, 0, newIDs, 0, linkIndex);
ids = newIDs;
int[] newMnemonics = new int[linkIndex + 1];
System.arraycopy(mnemonics, 0, newMnemonics, 0, linkIndex + 1);
mnemonics = newMnemonics;
}
return result.toString();
}
Point computeSize(GC gc) {
int width = 0, height = 0;
if ((style & SWT.SEPARATOR) != 0) {
if ((parent.style & SWT.HORIZONTAL) != 0) {
width = getWidth();
height = DEFAULT_HEIGHT;
} else {
width = DEFAULT_WIDTH;
height = getWidth();
}
if (control != null) {
height = Math.max(height, control.getMinimumHeight());
}
return new Point(width, height);
}
int[] argList = {
OS.XmNmarginHeight, 0,
OS.XmNmarginWidth, 0,
OS.XmNshadowThickness, 0,
};
OS.XtGetValues(handle, argList, argList.length / 2);
int marginHeight = argList[1], marginWidth = argList[3];
int shadowThickness = argList[5];
if ((parent.style & SWT.FLAT) != 0) {
shadowThickness = Math.min(2, display.buttonShadowThickness);
}
if (text.length() != 0 || image != null) {
int textWidth = 0, textHeight = 0;
if (text.length() != 0) {
int flags = SWT.DRAW_DELIMITER | SWT.DRAW_TAB | SWT.DRAW_MNEMONIC;
Point textExtent = gc.textExtent(text, flags);
textWidth = textExtent.x;
textHeight = textExtent.y;
}
int imageWidth = 0, imageHeight = 0;
if (image != null) {
Rectangle rect = image.getBounds();
imageWidth = rect.width;
imageHeight = rect.height;
}
if ((parent.style & SWT.RIGHT) != 0) {
width = imageWidth + textWidth;
height = Math.max(imageHeight, textHeight);
if (imageWidth != 0 && textWidth != 0) width += 2;
} else {
height = imageHeight + textHeight;
if (imageHeight != 0 && textHeight != 0) height += 2;
width = Math.max(imageWidth, textWidth);
}
} else {
width = DEFAULT_WIDTH;
height = DEFAULT_HEIGHT;
}
if ((style & SWT.DROP_DOWN) != 0) {
width += 12;
}
if (width != 0) {
width += (marginWidth + shadowThickness) * 2 + 2;
} else {
width = DEFAULT_WIDTH;
}
if (height != 0) {
height += (marginHeight + shadowThickness) * 2 + 2;
} else {
height = DEFAULT_HEIGHT;
}
return new Point(width, height);
}
/** @see PreferencePage#createContents(Composite) */
protected Control createContents(Composite ancestor) {
Composite parent = new Composite(ancestor, SWT.NULL);
GridLayout layout = new GridLayout();
layout.numColumns = 2;
layout.marginHeight = 0;
layout.marginWidth = 0;
parent.setLayout(layout);
// layout the top table & its buttons
Label label = new Label(parent, SWT.LEFT);
label.setText(XMLCompareMessages.XMLComparePreference_topTableLabel);
GridData data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
fIdMapsTable = new Table(parent, SWT.SINGLE | SWT.BORDER | SWT.FULL_SELECTION);
fIdMapsTable.setHeaderVisible(true);
data = new GridData(GridData.FILL_BOTH);
data.heightHint = fIdMapsTable.getItemHeight() * 4;
fIdMapsTable.setLayoutData(data);
fIdMapsTable.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
selectionChanged();
}
});
String column2Text = XMLCompareMessages.XMLComparePreference_topTableColumn2;
String column3Text = XMLCompareMessages.XMLComparePreference_topTableColumn3;
ColumnLayoutData columnLayouts[] = {
new ColumnWeightData(1),
new ColumnPixelData(convertWidthInCharsToPixels(column2Text.length() + 2), true),
new ColumnPixelData(convertWidthInCharsToPixels(column3Text.length() + 5), true)
};
TableLayout tablelayout = new TableLayout();
fIdMapsTable.setLayout(tablelayout);
for (int i = 0; i < 3; i++) tablelayout.addColumnData(columnLayouts[i]);
TableColumn column = new TableColumn(fIdMapsTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_topTableColumn1);
column = new TableColumn(fIdMapsTable, SWT.NONE);
column.setText(column2Text);
column = new TableColumn(fIdMapsTable, SWT.NONE);
column.setText(column3Text);
fillIdMapsTable();
Composite buttons = new Composite(parent, SWT.NULL);
buttons.setLayout(new GridLayout());
data = new GridData();
data.verticalAlignment = GridData.FILL;
data.horizontalAlignment = GridData.FILL;
buttons.setLayoutData(data);
fAddIdMapButton = new Button(buttons, SWT.PUSH);
fAddIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topAdd);
fAddIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
addIdMap(fAddIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
int widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fAddIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fAddIdMapButton.setLayoutData(data);
fRenameIdMapButton = new Button(buttons, SWT.PUSH);
fRenameIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topRename);
fRenameIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
renameIdMap(fRenameIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fAddIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fRenameIdMapButton.setLayoutData(data);
fRemoveIdMapButton = new Button(buttons, SWT.PUSH);
fRemoveIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topRemove);
fRemoveIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
removeIdMap(fRemoveIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fRemoveIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fRemoveIdMapButton.setLayoutData(data);
createSpacer(buttons);
fEditIdMapButton = new Button(buttons, SWT.PUSH);
fEditIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topEdit);
fEditIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
editIdMap(fEditIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fEditIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fEditIdMapButton.setLayoutData(data);
// Spacer
label = new Label(parent, SWT.LEFT);
data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
// layout the middle table & its buttons
label = new Label(parent, SWT.LEFT);
label.setText(XMLCompareMessages.XMLComparePreference_middleTableLabel);
data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
fMappingsTable = new Table(parent, SWT.SINGLE | SWT.BORDER | SWT.FULL_SELECTION);
fMappingsTable.setHeaderVisible(true);
data = new GridData(GridData.FILL_BOTH);
data.heightHint = fMappingsTable.getItemHeight() * 4;
data.widthHint = convertWidthInCharsToPixels(70);
fMappingsTable.setLayoutData(data);
column3Text = XMLCompareMessages.XMLComparePreference_middleTableColumn3;
String column4Text = XMLCompareMessages.XMLComparePreference_middleTableColumn4;
columnLayouts =
new ColumnLayoutData[] {
new ColumnWeightData(10),
new ColumnWeightData(18),
new ColumnPixelData(convertWidthInCharsToPixels(column3Text.length() + 1), true),
new ColumnPixelData(convertWidthInCharsToPixels(column4Text.length() + 3), true)
};
tablelayout = new TableLayout();
fMappingsTable.setLayout(tablelayout);
for (int i = 0; i < 4; i++) tablelayout.addColumnData(columnLayouts[i]);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_middleTableColumn1);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_middleTableColumn2);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(column3Text);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(column4Text);
buttons = new Composite(parent, SWT.NULL);
buttons.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING));
layout = new GridLayout();
layout.marginHeight = 0;
layout.marginWidth = 0;
buttons.setLayout(layout);
fNewMappingsButton = new Button(buttons, SWT.PUSH);
fNewMappingsButton.setLayoutData(getButtonGridData(fNewMappingsButton));
fNewMappingsButton.setText(XMLCompareMessages.XMLComparePreference_middleNew);
fNewMappingsButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
addMapping(fAddIdMapButton.getShell());
}
});
fEditMappingsButton = new Button(buttons, SWT.PUSH);
fEditMappingsButton.setLayoutData(getButtonGridData(fEditMappingsButton));
fEditMappingsButton.setText(XMLCompareMessages.XMLComparePreference_middleEdit);
fEditMappingsButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
editMapping(fEditMappingsButton.getShell());
}
});
fRemoveMappingsButton = new Button(buttons, SWT.PUSH);
fRemoveMappingsButton.setLayoutData(getButtonGridData(fRemoveMappingsButton));
fRemoveMappingsButton.setText(XMLCompareMessages.XMLComparePreference_middleRemove);
fRemoveMappingsButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
removeMapping(fRemoveMappingsButton.getShell());
}
});
createSpacer(buttons);
// layout the botton table & its buttons
label = new Label(parent, SWT.LEFT);
label.setText(XMLCompareMessages.XMLComparePreference_bottomTableLabel);
data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
fOrderedTable = new Table(parent, SWT.SINGLE | SWT.BORDER | SWT.FULL_SELECTION);
fOrderedTable.setHeaderVisible(true);
data = new GridData(GridData.FILL_BOTH);
data.heightHint = fOrderedTable.getItemHeight() * 2;
data.widthHint = convertWidthInCharsToPixels(70);
fOrderedTable.setLayoutData(data);
columnLayouts = new ColumnLayoutData[] {new ColumnWeightData(1), new ColumnWeightData(1)};
tablelayout = new TableLayout();
fOrderedTable.setLayout(tablelayout);
for (int i = 0; i < 2; i++) tablelayout.addColumnData(columnLayouts[i]);
column = new TableColumn(fOrderedTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_bottomTableColumn1);
column = new TableColumn(fOrderedTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_bottomTableColumn2);
buttons = new Composite(parent, SWT.NULL);
buttons.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING));
layout = new GridLayout();
layout.marginHeight = 0;
layout.marginWidth = 0;
buttons.setLayout(layout);
fNewOrderedButton = new Button(buttons, SWT.PUSH);
fNewOrderedButton.setLayoutData(getButtonGridData(fNewOrderedButton));
fNewOrderedButton.setText(XMLCompareMessages.XMLComparePreference_bottomNew);
fNewOrderedButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
addOrdered(fNewOrderedButton.getShell());
}
});
fEditOrderedButton = new Button(buttons, SWT.PUSH);
fEditOrderedButton.setLayoutData(getButtonGridData(fEditOrderedButton));
fEditOrderedButton.setText(XMLCompareMessages.XMLComparePreference_bottomEdit);
fEditOrderedButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
editOrdered(fEditOrderedButton.getShell());
}
});
fRemoveOrderedButton = new Button(buttons, SWT.PUSH);
fRemoveOrderedButton.setLayoutData(getButtonGridData(fRemoveOrderedButton));
fRemoveOrderedButton.setText(XMLCompareMessages.XMLComparePreference_bottomRemove);
fRemoveOrderedButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
removeOrdered(fRemoveOrderedButton.getShell());
}
});
createSpacer(buttons);
fIdMapsTable.setSelection(0);
fIdMapsTable.setFocus();
selectionChanged();
return parent;
}
/*
* Calculates the height of the header.
*/
/* package */ int getHeaderHeight() {
int headerHeight = fLeftLabel.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).y;
headerHeight =
Math.max(headerHeight, fDirectionLabel.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).y);
return headerHeight;
}
int XKeyPress(int w, int client_data, int call_data, int continue_to_dispatch) {
int result = super.XKeyPress(w, client_data, call_data, continue_to_dispatch);
if (result != 0) return result;
XKeyEvent xEvent = new XKeyEvent();
OS.memmove(xEvent, call_data, XKeyEvent.sizeof);
byte[] buffer = new byte[1];
int[] keysym = new int[1];
OS.XLookupString(xEvent, buffer, buffer.length, keysym, null);
switch (keysym[0]) {
case OS.XK_Left:
case OS.XK_Right:
case OS.XK_Up:
case OS.XK_Down:
int xChange = 0, yChange = 0;
int stepSize = PAGE_INCREMENT;
if ((xEvent.state & OS.ControlMask) != 0) stepSize = INCREMENT;
if ((style & SWT.VERTICAL) != 0) {
if (keysym[0] == OS.XK_Up || keysym[0] == OS.XK_Down) break;
xChange = keysym[0] == OS.XK_Left ? -stepSize : stepSize;
} else {
if (keysym[0] == OS.XK_Left || keysym[0] == OS.XK_Right) break;
yChange = keysym[0] == OS.XK_Up ? -stepSize : stepSize;
}
int[] argList1 = {OS.XmNwidth, 0, OS.XmNheight, 0, OS.XmNborderWidth, 0};
OS.XtGetValues(handle, argList1, argList1.length / 2);
int border = argList1[5];
int width = argList1[1] + (border * 2), height = argList1[3] + (border * 2);
int[] argList2 = {OS.XmNwidth, 0, OS.XmNheight, 0, OS.XmNborderWidth, 0};
OS.XtGetValues(parent.handle, argList2, argList2.length / 2);
int parentBorder = argList2[5];
int parentWidth = argList2[1] + (parentBorder * 2);
int parentHeight = argList2[3] + (parentBorder * 2);
int newX = lastX, newY = lastY;
if ((style & SWT.VERTICAL) != 0) {
newX =
Math.min(Math.max(0, lastX + xChange - parentBorder - startX), parentWidth - width);
} else {
newY =
Math.min(Math.max(0, lastY + yChange - parentBorder - startY), parentHeight - height);
}
if (newX == lastX && newY == lastY) return result;
/* Ensure that the pointer image does not change */
int xDisplay = display.xDisplay;
int xWindow = OS.XtWindow(parent.handle);
int ptrGrabResult =
OS.XGrabPointer(
xDisplay,
xWindow,
1,
OS.None,
OS.GrabModeAsync,
OS.GrabModeAsync,
OS.None,
cursor,
OS.CurrentTime);
Event event = new Event();
event.time = xEvent.time;
event.x = newX;
event.y = newY;
event.width = width;
event.height = height;
sendEvent(SWT.Selection, event);
if (ptrGrabResult == OS.GrabSuccess) OS.XUngrabPointer(xDisplay, OS.CurrentTime);
if (isDisposed()) break;
if (event.doit) {
lastX = event.x;
lastY = event.y;
if ((style & SWT.SMOOTH) != 0) {
setBounds(event.x, event.y, width, height);
if (isDisposed()) break;
}
int cursorX = event.x, cursorY = event.y;
if ((style & SWT.VERTICAL) != 0) {
cursorY += height / 2;
} else {
cursorX += width / 2;
}
OS.XWarpPointer(xDisplay, OS.None, xWindow, 0, 0, 0, 0, cursorX, cursorY);
}
break;
}
return result;
}
void keyDown(Event event) {
if (row == null) return;
switch (event.character) {
case SWT.CR:
notifyListeners(SWT.DefaultSelection, new Event());
return;
}
int rowIndex = table.indexOf(row);
int columnIndex = column == null ? 0 : table.indexOf(column);
switch (event.keyCode) {
case SWT.ARROW_UP:
setRowColumn(Math.max(0, rowIndex - 1), columnIndex, true);
break;
case SWT.ARROW_DOWN:
setRowColumn(Math.min(rowIndex + 1, table.getItemCount() - 1), columnIndex, true);
break;
case SWT.ARROW_LEFT:
case SWT.ARROW_RIGHT:
{
int columnCount = table.getColumnCount();
if (columnCount == 0) break;
int[] order = table.getColumnOrder();
int index = 0;
while (index < order.length) {
if (order[index] == columnIndex) break;
index++;
}
if (index == order.length) index = 0;
int leadKey = (getStyle() & SWT.RIGHT_TO_LEFT) != 0 ? SWT.ARROW_RIGHT : SWT.ARROW_LEFT;
if (event.keyCode == leadKey) {
setRowColumn(rowIndex, order[Math.max(0, index - 1)], true);
} else {
setRowColumn(rowIndex, order[Math.min(columnCount - 1, index + 1)], true);
}
break;
}
case SWT.HOME:
setRowColumn(0, columnIndex, true);
break;
case SWT.END:
{
int i = table.getItemCount() - 1;
setRowColumn(i, columnIndex, true);
break;
}
case SWT.PAGE_UP:
{
int index = table.getTopIndex();
if (index == rowIndex) {
Rectangle rect = table.getClientArea();
TableItem item = table.getItem(index);
Rectangle itemRect = item.getBounds(0);
rect.height -= itemRect.y;
int height = table.getItemHeight();
int page = Math.max(1, rect.height / height);
index = Math.max(0, index - page + 1);
}
setRowColumn(index, columnIndex, true);
break;
}
case SWT.PAGE_DOWN:
{
int index = table.getTopIndex();
Rectangle rect = table.getClientArea();
TableItem item = table.getItem(index);
Rectangle itemRect = item.getBounds(0);
rect.height -= itemRect.y;
int height = table.getItemHeight();
int page = Math.max(1, rect.height / height);
int end = table.getItemCount() - 1;
index = Math.min(end, index + page - 1);
if (index == rowIndex) {
index = Math.min(end, index + page - 1);
}
setRowColumn(index, columnIndex, true);
break;
}
}
}
void onPaint(PaintEvent event) {
Rectangle rect = getClientArea();
if (rect.width == 0 || rect.height == 0) return;
boolean shortenText = false;
String t = text;
Image img = image;
int availableWidth = Math.max(0, rect.width - (leftMargin + rightMargin));
Point extent = getTotalSize(img, t);
if (extent.x > availableWidth) {
img = null;
extent = getTotalSize(img, t);
if (extent.x > availableWidth) {
shortenText = true;
}
}
GC gc = event.gc;
String[] lines = text == null ? null : splitString(text);
// shorten the text
if (shortenText) {
extent.x = 0;
for (int i = 0; i < lines.length; i++) {
Point e = gc.textExtent(lines[i], DRAW_FLAGS);
if (e.x > availableWidth) {
lines[i] = shortenText(gc, lines[i], availableWidth);
extent.x = Math.max(extent.x, getTotalSize(null, lines[i]).x);
} else {
extent.x = Math.max(extent.x, e.x);
}
}
if (appToolTipText == null) {
super.setToolTipText(text);
}
} else {
super.setToolTipText(appToolTipText);
}
// determine horizontal position
int x = rect.x + leftMargin;
if (align == SWT.CENTER) {
x = (rect.width - extent.x) / 2;
}
if (align == SWT.RIGHT) {
x = rect.width - rightMargin - extent.x;
}
// draw a background image behind the text
try {
if (backgroundImage != null) {
// draw a background image behind the text
Rectangle imageRect = backgroundImage.getBounds();
// tile image to fill space
gc.setBackground(getBackground());
gc.fillRectangle(rect);
int xPos = 0;
while (xPos < rect.width) {
int yPos = 0;
while (yPos < rect.height) {
gc.drawImage(backgroundImage, xPos, yPos);
yPos += imageRect.height;
}
xPos += imageRect.width;
}
} else if (gradientColors != null) {
// draw a gradient behind the text
final Color oldBackground = gc.getBackground();
if (gradientColors.length == 1) {
if (gradientColors[0] != null) gc.setBackground(gradientColors[0]);
gc.fillRectangle(0, 0, rect.width, rect.height);
} else {
final Color oldForeground = gc.getForeground();
Color lastColor = gradientColors[0];
if (lastColor == null) lastColor = oldBackground;
int pos = 0;
for (int i = 0; i < gradientPercents.length; ++i) {
gc.setForeground(lastColor);
lastColor = gradientColors[i + 1];
if (lastColor == null) lastColor = oldBackground;
gc.setBackground(lastColor);
if (gradientVertical) {
final int gradientHeight = (gradientPercents[i] * rect.height / 100) - pos;
gc.fillGradientRectangle(0, pos, rect.width, gradientHeight, true);
pos += gradientHeight;
} else {
final int gradientWidth = (gradientPercents[i] * rect.width / 100) - pos;
gc.fillGradientRectangle(pos, 0, gradientWidth, rect.height, false);
pos += gradientWidth;
}
}
if (gradientVertical && pos < rect.height) {
gc.setBackground(getBackground());
gc.fillRectangle(0, pos, rect.width, rect.height - pos);
}
if (!gradientVertical && pos < rect.width) {
gc.setBackground(getBackground());
gc.fillRectangle(pos, 0, rect.width - pos, rect.height);
}
gc.setForeground(oldForeground);
}
gc.setBackground(oldBackground);
} else {
if (background != null || (getStyle() & SWT.DOUBLE_BUFFERED) == 0) {
gc.setBackground(getBackground());
gc.fillRectangle(rect);
}
}
} catch (SWTException e) {
if ((getStyle() & SWT.DOUBLE_BUFFERED) == 0) {
gc.setBackground(getBackground());
gc.fillRectangle(rect);
}
}
// draw border
int style = getStyle();
if ((style & SWT.SHADOW_IN) != 0 || (style & SWT.SHADOW_OUT) != 0) {
paintBorder(gc, rect);
}
/*
* Compute text height and image height. If image height is more than
* the text height, draw image starting from top margin. Else draw text
* starting from top margin.
*/
Rectangle imageRect = null;
int lineHeight = 0, textHeight = 0, imageHeight = 0;
if (img != null) {
imageRect = img.getBounds();
imageHeight = imageRect.height;
}
if (lines != null) {
lineHeight = gc.getFontMetrics().getHeight();
textHeight = lines.length * lineHeight;
}
int imageY = 0, midPoint = 0, lineY = 0;
if (imageHeight > textHeight) {
if (topMargin == DEFAULT_MARGIN && bottomMargin == DEFAULT_MARGIN)
imageY = rect.y + (rect.height - imageHeight) / 2;
else imageY = topMargin;
midPoint = imageY + imageHeight / 2;
lineY = midPoint - textHeight / 2;
} else {
if (topMargin == DEFAULT_MARGIN && bottomMargin == DEFAULT_MARGIN)
lineY = rect.y + (rect.height - textHeight) / 2;
else lineY = topMargin;
midPoint = lineY + textHeight / 2;
imageY = midPoint - imageHeight / 2;
}
// draw the image
if (img != null) {
gc.drawImage(
img, 0, 0, imageRect.width, imageHeight, x, imageY, imageRect.width, imageHeight);
x += imageRect.width + GAP;
extent.x -= imageRect.width + GAP;
}
// draw the text
if (lines != null) {
gc.setForeground(getForeground());
for (int i = 0; i < lines.length; i++) {
int lineX = x;
if (lines.length > 1) {
if (align == SWT.CENTER) {
int lineWidth = gc.textExtent(lines[i], DRAW_FLAGS).x;
lineX = x + Math.max(0, (extent.x - lineWidth) / 2);
}
if (align == SWT.RIGHT) {
int lineWidth = gc.textExtent(lines[i], DRAW_FLAGS).x;
lineX = Math.max(x, rect.x + rect.width - rightMargin - lineWidth);
}
}
gc.drawText(lines[i], lineX, lineY, DRAW_FLAGS);
lineY += lineHeight;
}
}
}
void menuItemRemoved() {
itemCount = Math.max(--itemCount, 0);
}