projects/dwt-addons: dwtx/novocode/ishell/InternalShell.d comparison

comparison dwtx/novocode/ishell/InternalShell.d @ 190:df4e66472aff

novocode line endings, indention

author	Frank Benoit <benoit@tionex.de>
date	Sun, 26 Oct 2008 15:04:41 +0100
parents	71ca5bcf2307
children

comparison

equal deleted inserted replaced

-:71ca5bcf2307
+:df4e66472aff
 // [TODO] Support styles NO_TRIM, BORDER, TITLE
 // [TODO] Separate "minimized" from "not visible"
 class InternalShell : Composite
 {
 private static const int BORDER_SIZE = 4;
 private Composite contentPane;
 private TitleBar titleBar;
 private SizeGrip sizeGrip;
 private SizeBorder sizeBorder;
 private int minWidth = 112;
 private int minHeight;
 private DesktopForm desktop;
 private bool maximized;
 private Rectangle pluralizedBounds;
 private int titleHeight;
 private int style;
 private TitleBarButton closeButton, maxButton, minButton;
 Control focusControl;
 this(DesktopForm parent, int style)
 {
 super(parent, checkStyle(style));
 this.desktop = parent;
 this.style = style;
 setBackground(getDisplay().getSystemColor(DWT.COLOR_WIDGET_BACKGROUND));
 FormLayout layout = new FormLayout();
 setLayout(layout);
 FormData fd;
 titleBar = new TitleBar(this, style & (DWT.CLOSE | DWT.RESIZE | DWT.MAX | DWT.TOOL | DWT.MIN));
 titleHeight = titleBar.computeSize(DWT.DEFAULT, DWT.DEFAULT, true).y;
 Control leftButton = null;
 if((style & (DWT.CLOSE | DWT.MAX | DWT.MIN)) !is 0)
 {
 closeButton = new TitleBarButton(this, DWT.CLOSE);
 if((style & DWT.CLOSE) is 0) closeButton.setEnabled(false);
 closeButton.addListener(DWT.Selection, dgListener(&closeListener));
 fd = new FormData(titleHeight, titleHeight);
 if(leftButton !is null) fd.right = new FormAttachment(leftButton);
 else fd.right = new FormAttachment(100, -BORDER_SIZE);
 fd.top = new FormAttachment(0, BORDER_SIZE);
 closeButton.setLayoutData(fd);
 leftButton = closeButton;
 if((style & (DWT.MAX|DWT.MIN)) !is 0)
 {
 maxButton = new TitleBarButton(this, DWT.MAX);
 if((style & DWT.MAX) is 0) maxButton.setEnabled(false);
 maxButton.addListener(DWT.Selection, dgListener(&maximizeListener));
 fd = new FormData(titleHeight, titleHeight);
+if(leftButton !is null) fd.right = new FormAttachment(leftButton);
+else fd.right = new FormAttachment(100, -BORDER_SIZE);
+fd.top = new FormAttachment(0, BORDER_SIZE);
+maxButton.setLayoutData(fd);
+leftButton = maxButton;
+minButton = new TitleBarButton(this, DWT.MIN);
+if((style & DWT.MIN) is 0) minButton.setEnabled(false);
+minButton.addListener(DWT.Selection, dgListener(&minimizeListener));
+fd = new FormData(titleHeight, titleHeight);
+if(leftButton !is null) fd.right = new FormAttachment(leftButton);
+else fd.right = new FormAttachment(100, -BORDER_SIZE);
+fd.top = new FormAttachment(0, BORDER_SIZE);
+minButton.setLayoutData(fd);
+leftButton = minButton;
+}
+}
+fd = new FormData();
+fd.left = new FormAttachment(0, BORDER_SIZE);
 if(leftButton !is null) fd.right = new FormAttachment(leftButton);
 else fd.right = new FormAttachment(100, -BORDER_SIZE);
 fd.top = new FormAttachment(0, BORDER_SIZE);
-maxButton.setLayoutData(fd);
+titleBar.setLayoutData(fd);
-leftButton = maxButton;
+contentPane = new Composite(this, DWT.NONE);
-minButton = new TitleBarButton(this, DWT.MIN);
+fd = new FormData();
-if((style & DWT.MIN) is 0) minButton.setEnabled(false);
+fd.left = new FormAttachment(0, BORDER_SIZE);
-minButton.addListener(DWT.Selection, dgListener(&minimizeListener));
+fd.right = new FormAttachment(100, -BORDER_SIZE);
-fd = new FormData(titleHeight, titleHeight);
+fd.top = new FormAttachment(titleBar, 1);
-if(leftButton !is null) fd.right = new FormAttachment(leftButton);
+fd.bottom = new FormAttachment(100, -BORDER_SIZE);
-else fd.right = new FormAttachment(100, -BORDER_SIZE);
+contentPane.setLayoutData(fd);
-fd.top = new FormAttachment(0, BORDER_SIZE);
-minButton.setLayoutData(fd);
+sizeBorder = new SizeBorder(this, this, DWT.BORDER);
-leftButton = minButton;
+sizeBorder.setBorderWidth(BORDER_SIZE);
-}
+fd = new FormData();
-}
+fd.left = new FormAttachment(0);
+fd.right = new FormAttachment(100);
-fd = new FormData();
+fd.top = new FormAttachment(0);
-fd.left = new FormAttachment(0, BORDER_SIZE);
+fd.bottom = new FormAttachment(100);
-if(leftButton !is null) fd.right = new FormAttachment(leftButton);
+sizeBorder.setLayoutData(fd);
-else fd.right = new FormAttachment(100, -BORDER_SIZE);
-fd.top = new FormAttachment(0, BORDER_SIZE);
+minHeight = titleHeight + 2*BORDER_SIZE;
-titleBar.setLayoutData(fd);
+sizeBorder.setMinimumShellSize(minWidth, minHeight);
+sizeBorder.setCornerSize(titleHeight + BORDER_SIZE);
-contentPane = new Composite(this, DWT.NONE);
+if((style & DWT.RESIZE) is 0) sizeBorder.setEnabled(false);
-fd = new FormData();
-fd.left = new FormAttachment(0, BORDER_SIZE);
+setSize(320, 240);
-fd.right = new FormAttachment(100, -BORDER_SIZE);
+setVisible(false);
-fd.top = new FormAttachment(titleBar, 1);
-fd.bottom = new FormAttachment(100, -BORDER_SIZE);
+desktop.manage(this);
-contentPane.setLayoutData(fd);
+}
-sizeBorder = new SizeBorder(this, this, DWT.BORDER);
-sizeBorder.setBorderWidth(BORDER_SIZE);
+private void closeListener(Event event)
-fd = new FormData();
+{
-fd.left = new FormAttachment(0);
+close();
-fd.right = new FormAttachment(100);
+}
-fd.top = new FormAttachment(0);
-fd.bottom = new FormAttachment(100);
-sizeBorder.setLayoutData(fd);
+private void maximizeListener(Event event)
+{
-minHeight = titleHeight + 2*BORDER_SIZE;
+setMaximized(!maximized);
-sizeBorder.setMinimumShellSize(minWidth, minHeight);
+}
-sizeBorder.setCornerSize(titleHeight + BORDER_SIZE);
-if((style & DWT.RESIZE) is 0) sizeBorder.setEnabled(false);
+private void minimizeListener(Event event)
-setSize(320, 240);
+{
-setVisible(false);
+setMinimized(true);
+}
-desktop.manage(this);
-}
+private static int checkStyle(int style)
+{
-private void closeListener(Event event)
+int mask = DWT.NO_RADIO_GROUP;
-{
+style &= mask;
-close();
+return style;
 }
-private void maximizeListener(Event event)
+public int getStyle()
 {
-setMaximized(!maximized);
+return style;
 }
-private void minimizeListener(Event event)
+public Composite getContentPane() { return contentPane; }
-{
-setMinimized(true);
-}
+public void setText(String s) { titleBar.setText(s); }
+public String getText() { return titleBar.getText(); }
-private static int checkStyle(int style)
-{
-int mask = DWT.NO_RADIO_GROUP;
+public void setCustomMenu(Menu menu) { titleBar.setMenu(menu); }
-style &= mask;
-return style;
+public Menu getCustomMenu() { return titleBar.getMenu(); }
-}
+public void setImage(Image image) { titleBar.setImage(image); }
-public int getStyle()
-{
+public Image getImage() { return titleBar.getImage(); }
-return style;
-}
+public void createSizeGrip(int style)
+{
-public Composite getContentPane() { return contentPane; }
+checkWidget();
+if(sizeGrip !is null)
+throw new DWTException("SizeGrip was already created");
-public void setText(String s) { titleBar.setText(s); }
+if((this.style & DWT.RESIZE) is 0)
+throw new DWTException("Cannot create SizeGrip for InternalShell without style RESIZE");
-public String getText() { return titleBar.getText(); }
+sizeGrip = new SizeGrip(this, this, style);
+sizeGrip.setBackground(contentPane.getBackground());
+sizeGrip.moveAbove(contentPane);
-public void setCustomMenu(Menu menu) { titleBar.setMenu(menu); }
+FormData fd = new FormData();
+fd.right = new FormAttachment(100, -BORDER_SIZE);
-public Menu getCustomMenu() { return titleBar.getMenu(); }
+fd.bottom = new FormAttachment(100, -BORDER_SIZE);
+sizeGrip.setLayoutData(fd);
+sizeGrip.setMinimumShellSize(minWidth, minHeight);
-public void setImage(Image image) { titleBar.setImage(image); }
+if(isVisible()) layout(true);
+}
-public Image getImage() { return titleBar.getImage(); }
+public Point computeSize(int wHint, int hHint, bool changed)
-public void createSizeGrip(int style)
+{
-{
+Point p = super.computeSize(wHint, hHint, changed);
-checkWidget();
+if(p.x < minWidth) p.x = minWidth;
-if(sizeGrip !is null)
+if(p.y < minHeight) p.y = minHeight;
-throw new DWTException("SizeGrip was already created");
+return p;
-if((this.style & DWT.RESIZE) is 0)
+}
-throw new DWTException("Cannot create SizeGrip for InternalShell without style RESIZE");
-sizeGrip = new SizeGrip(this, this, style);
-sizeGrip.setBackground(contentPane.getBackground());
+public void setSize(int width, int height)
-sizeGrip.moveAbove(contentPane);
+{
-FormData fd = new FormData();
+if(width < minWidth) width = minWidth;
-fd.right = new FormAttachment(100, -BORDER_SIZE);
+if(height < minHeight) height = minHeight;
-fd.bottom = new FormAttachment(100, -BORDER_SIZE);
+super.setSize(width, height);
-sizeGrip.setLayoutData(fd);
+}
-sizeGrip.setMinimumShellSize(minWidth, minHeight);
-if(isVisible()) layout(true);
-}
+public void setBounds(int x, int y, int width, int height)
+{
+if(width < minWidth) width = minWidth;
-public Point computeSize(int wHint, int hHint, bool changed)
+if(height < minHeight) height = minHeight;
-{
+super.setBounds(x, y, width, height);
-Point p = super.computeSize(wHint, hHint, changed);
+}
-if(p.x < minWidth) p.x = minWidth;
-if(p.y < minHeight) p.y = minHeight;
-return p;
+public void setMinimumSize(int width, int height)
-}
+{
+checkWidget();
+minWidth = width;
-public void setSize(int width, int height)
+minHeight = height;
-{
+sizeGrip.setMinimumShellSize(minWidth, minHeight);
-if(width < minWidth) width = minWidth;
+sizeBorder.setMinimumShellSize(minWidth, minHeight);
-if(height < minHeight) height = minHeight;
+Point size = getSize();
-super.setSize(width, height);
+if(size.x < minWidth || size.y < minHeight)
-}
+setSize(Math.max(minWidth, size.x), Math.max(minHeight, size.y));
+}
-public void setBounds(int x, int y, int width, int height)
-{
+public void close()
-if(width < minWidth) width = minWidth;
+{
-if(height < minHeight) height = minHeight;
+Event event = new Event();
-super.setBounds(x, y, width, height);
+notifyListeners(DWT.Close, event);
-}
+if(event.doit && !isDisposed()) dispose();
+}
-public void setMinimumSize(int width, int height)
-{
+public void open()
-checkWidget();
+{
-minWidth = width;
+desktop.activate(this);
-minHeight = height;
+setVisible(true);
-sizeGrip.setMinimumShellSize(minWidth, minHeight);
+setFocus();
-sizeBorder.setMinimumShellSize(minWidth, minHeight);
+}
-Point size = getSize();
-if(size.x < minWidth || size.y < minHeight)
-setSize(Math.max(minWidth, size.x), Math.max(minHeight, size.y));
+public void setVisible(bool visible)
-}
+{
+if(!visible) desktop.shellVisibilityChanged(this, false);
+super.setVisible(visible);
-public void close()
+if(visible) desktop.shellVisibilityChanged(this, true);
-{
+}
-Event event = new Event();
-notifyListeners(DWT.Close, event);
-if(event.doit && !isDisposed()) dispose();
+public void setActive()
-}
+{
+desktop.activate(this);
+}
-public void open()
-{
-desktop.activate(this);
+public void setMaximized(bool maximized)
-setVisible(true);
+{
-setFocus();
+checkWidget();
-}
+if(this.maximized is maximized) return;
+setMaximizedWithoutNotification(maximized);
+desktop.shellMaximizedOrRestored(this, maximized);
-public void setVisible(bool visible)
+}
-{
-if(!visible) desktop.shellVisibilityChanged(this, false);
-super.setVisible(visible);
+public void setMinimized(bool minimized)
-if(visible) desktop.shellVisibilityChanged(this, true);
+{
-}
+checkWidget();
+bool wasMaximized = maximized;
+setVisible(!minimized);
-public void setActive()
+maximized = wasMaximized;
-{
+}
-desktop.activate(this);
-}
+public bool getMinimized()
+{
-public void setMaximized(bool maximized)
+return getVisible();
-{
+}
-checkWidget();
-if(this.maximized is maximized) return;
-setMaximizedWithoutNotification(maximized);
+void setMaximizedWithoutNotification(bool maximized)
-desktop.shellMaximizedOrRestored(this, maximized);
+{
-}
+if(this.maximized is maximized) return;
+this.maximized = maximized;
+if(maximized)
-public void setMinimized(bool minimized)
+{
-{
+pluralizedBounds = getBounds();
-checkWidget();
+desktopResized(desktop.getClientArea());
-bool wasMaximized = maximized;
+}
-setVisible(!minimized);
+else
-maximized = wasMaximized;
+{
-}
+setBounds(pluralizedBounds.x,pluralizedBounds.y,pluralizedBounds.width,pluralizedBounds.height);
+}
+// Note: This method may be called in a Dispose event for this object
-public bool getMinimized()
+if(sizeGrip !is null && !sizeGrip.isDisposed()) sizeGrip.setVisible(!maximized);
-{
+if(!sizeBorder.isDisposed()) sizeBorder.setEnabled(!maximized && (style & DWT.RESIZE) !is 0);
-return getVisible();
+if(maxButton !is null && !maxButton.isDisposed()) maxButton.redraw();
 }
-void setMaximizedWithoutNotification(bool maximized)
+public bool getMaximized()
 {
-if(this.maximized is maximized) return;
+checkWidget();
-this.maximized = maximized;
+return maximized;
-if(maximized)
+}
-{
-pluralizedBounds = getBounds();
-desktopResized(desktop.getClientArea());
+void redrawDecorationsAfterActivityChange()
-}
+{
-else
+// Note: This method may be called in a Dispose event for this object
-{
+if(!titleBar.isDisposed()) titleBar.redraw();
-setBounds(pluralizedBounds.x,pluralizedBounds.y,pluralizedBounds.width,pluralizedBounds.height);
+if(closeButton !is null && !closeButton.isDisposed()) closeButton.redraw();
-}
+if(maxButton !is null && !maxButton.isDisposed()) maxButton.redraw();
-// Note: This method may be called in a Dispose event for this object
+if(minButton !is null && !minButton.isDisposed()) minButton.redraw();
-if(sizeGrip !is null && !sizeGrip.isDisposed()) sizeGrip.setVisible(!maximized);
+}
-if(!sizeBorder.isDisposed()) sizeBorder.setEnabled(!maximized && (style & DWT.RESIZE) !is 0);
-if(maxButton !is null && !maxButton.isDisposed()) maxButton.redraw();
-}
+void desktopResized(Rectangle deskCA)
+{
+if(maximized)
-public bool getMaximized()
+{
-{
+int hideTitle = desktop.getShowMaximizedTitle() ? 0 : (titleHeight+1);
-checkWidget();
+setBounds(deskCA.x - BORDER_SIZE,
-return maximized;
+deskCA.y - BORDER_SIZE - hideTitle,
-}
+deskCA.width + 2*BORDER_SIZE,
+deskCA.height + 2*BORDER_SIZE + hideTitle);
+}
-void redrawDecorationsAfterActivityChange()
+else forceVisibleLocation(deskCA);
-{
+}
-// Note: This method may be called in a Dispose event for this object
-if(!titleBar.isDisposed()) titleBar.redraw();
-if(closeButton !is null && !closeButton.isDisposed()) closeButton.redraw();
+public bool setFocus()
-if(maxButton !is null && !maxButton.isDisposed()) maxButton.redraw();
+{
-if(minButton !is null && !minButton.isDisposed()) minButton.redraw();
+if(focusControl !is null && focusControl !is this && !focusControl.isDisposed())
-}
+return focusControl.setFocus();
+return super.setFocus();
+}
-void desktopResized(Rectangle deskCA)
-{
-if(maximized)
+public bool isActiveShell()
 {
-int hideTitle = desktop.getShowMaximizedTitle() ? 0 : (titleHeight+1);
+return desktop.getActiveShell() is this;
-setBounds(deskCA.x - BORDER_SIZE,
+}
-deskCA.y - BORDER_SIZE - hideTitle,
-deskCA.width + 2*BORDER_SIZE,
-deskCA.height + 2*BORDER_SIZE + hideTitle);
+private void forceVisibleLocation(Rectangle deskCA)
-}
+{
-else forceVisibleLocation(deskCA);
+Point p = getLocation();
-}
+Point minGrabSize = titleBar.getMinGrabSize();
+int x = p.x, y = p.y;
+int minX = minGrabSize.x + BORDER_SIZE, minY = minGrabSize.y + BORDER_SIZE;
-public bool setFocus()
+x = Math.min(Math.max(x, deskCA.x+minY), deskCA.x+deskCA.width-minX);
-{
+y = Math.min(Math.max(y, deskCA.y+minY), deskCA.y+deskCA.height-minY);
-if(focusControl !is null && focusControl !is this && !focusControl.isDisposed())
+if(x != p.x || y != p.y) setLocation(x, y);
-return focusControl.setFocus();
+}
-return super.setFocus();
-}
-public bool isActiveShell()
-{
-return desktop.getActiveShell() is this;
-}
-private void forceVisibleLocation(Rectangle deskCA)
-{
-Point p = getLocation();
-Point minGrabSize = titleBar.getMinGrabSize();
-int x = p.x, y = p.y;
-int minX = minGrabSize.x + BORDER_SIZE, minY = minGrabSize.y + BORDER_SIZE;
-x = Math.min(Math.max(x, deskCA.x+minY), deskCA.x+deskCA.width-minX);
-y = Math.min(Math.max(y, deskCA.y+minY), deskCA.y+deskCA.height-minY);
-if(x != p.x || y != p.y) setLocation(x, y);
-}
 }

Mercurial > projects > dwt-addons

comparison dwtx/novocode/ishell/InternalShell.d @ 190:df4e66472aff