comparison dwtx/jface/dialogs/PopupDialog.d @ 43:ea8ff534f622

Fix override and super aliases
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Apr 2008 01:24:25 +0200
parents 4567a6f54939
children 46a6e0e6ccd4
comparison
equal deleted inserted replaced
42:4567a6f54939 43:ea8ff534f622
125 /* 125 /*
126 * (non-Javadoc) 126 * (non-Javadoc)
127 * 127 *
128 * @see dwtx.jface.action.IAction#run() 128 * @see dwtx.jface.action.IAction#run()
129 */ 129 */
130 public void run() { 130 public override void run() {
131 performTrackerAction(DWT.NONE); 131 performTrackerAction(DWT.NONE);
132 } 132 }
133 133
134 } 134 }
135 135
144 } 144 }
145 145
146 /* 146 /*
147 * @see dwtx.jface.action.Action#run() 147 * @see dwtx.jface.action.Action#run()
148 */ 148 */
149 public void run() { 149 public override void run() {
150 performTrackerAction(DWT.RESIZE); 150 performTrackerAction(DWT.RESIZE);
151 } 151 }
152 } 152 }
153 153
154 /** 154 /**
166 /* 166 /*
167 * (non-Javadoc) 167 * (non-Javadoc)
168 * 168 *
169 * @see dwtx.jface.action.IAction#run() 169 * @see dwtx.jface.action.IAction#run()
170 */ 170 */
171 public void run() { 171 public override void run() {
172 persistBounds = isChecked(); 172 persistBounds = isChecked();
173 } 173 }
174 } 174 }
175 175
176 /** 176 /**
370 /* 370 /*
371 * (non-Javadoc) 371 * (non-Javadoc)
372 * 372 *
373 * @see dwtx.jface.window.Window#configureShell(Shell) 373 * @see dwtx.jface.window.Window#configureShell(Shell)
374 */ 374 */
375 protected void configureShell(Shell shell) { 375 protected override void configureShell(Shell shell) {
376 Display display = shell.getDisplay(); 376 Display display = shell.getDisplay();
377 shell.setBackground(display.getSystemColor(DWT.COLOR_BLACK)); 377 shell.setBackground(display.getSystemColor(DWT.COLOR_BLACK));
378 378
379 int border = ((getShellStyle() & DWT.NO_TRIM) is 0) ? 0 379 int border = ((getShellStyle() & DWT.NO_TRIM) is 0) ? 0
380 : BORDER_THICKNESS; 380 : BORDER_THICKNESS;
454 * @param parent 454 * @param parent
455 * the composite used to parent the contents. 455 * the composite used to parent the contents.
456 * 456 *
457 * @return the control representing the contents. 457 * @return the control representing the contents.
458 */ 458 */
459 protected Control createContents(Composite parent) { 459 protected override Control createContents(Composite parent) {
460 Composite composite = new Composite(parent, DWT.NONE); 460 Composite composite = new Composite(parent, DWT.NONE);
461 POPUP_LAYOUT_FACTORY.applyTo(composite); 461 POPUP_LAYOUT_FACTORY.applyTo(composite);
462 LAYOUTDATA_GRAB_BOTH.applyTo(composite); 462 LAYOUTDATA_GRAB_BOTH.applyTo(composite);
463 463
464 // Title area 464 // Title area
856 * 856 *
857 * @return the return code 857 * @return the return code
858 * 858 *
859 * @see dwtx.jface.window.Window#open() 859 * @see dwtx.jface.window.Window#open()
860 */ 860 */
861 public int open() { 861 public override int open() {
862 862
863 Shell shell = getShell(); 863 Shell shell = getShell();
864 if (shell is null || shell.isDisposed()) { 864 if (shell is null || shell.isDisposed()) {
865 shell = null; 865 shell = null;
866 // create the window 866 // create the window
905 * </p> 905 * </p>
906 * 906 *
907 * @return <code>true</code> if the window is (or was already) closed, and 907 * @return <code>true</code> if the window is (or was already) closed, and
908 * <code>false</code> if it is still open 908 * <code>false</code> if it is still open
909 */ 909 */
910 public bool close() { 910 public override bool close() {
911 // If already closed, there is nothing to do. 911 // If already closed, there is nothing to do.
912 // See https://bugs.eclipse.org/bugs/show_bug.cgi?id=127505 912 // See https://bugs.eclipse.org/bugs/show_bug.cgi?id=127505
913 if (getShell() is null || getShell().isDisposed()) { 913 if (getShell() is null || getShell().isDisposed()) {
914 return true; 914 return true;
915 } 915 }
983 /* 983 /*
984 * (non-Javadoc) 984 * (non-Javadoc)
985 * 985 *
986 * @see dwtx.jface.window.Window#getInitialSize() 986 * @see dwtx.jface.window.Window#getInitialSize()
987 */ 987 */
988 protected Point getInitialSize() { 988 protected override Point getInitialSize() {
989 Point result = super.getInitialSize(); 989 Point result = super.getInitialSize();
990 if (persistBounds) { 990 if (persistBounds) {
991 IDialogSettings settings = getDialogSettings(); 991 IDialogSettings settings = getDialogSettings();
992 if (settings !is null) { 992 if (settings !is null) {
993 try { 993 try {
1019 /** 1019 /**
1020 * (non-Javadoc) 1020 * (non-Javadoc)
1021 * 1021 *
1022 * @see dwtx.jface.window.Window#getInitialLocation(dwt.graphics.Point) 1022 * @see dwtx.jface.window.Window#getInitialLocation(dwt.graphics.Point)
1023 */ 1023 */
1024 protected Point getInitialLocation(Point initialSize) { 1024 protected override Point getInitialLocation(Point initialSize) {
1025 Point result = super.getInitialLocation(initialSize); 1025 Point result = super.getInitialLocation(initialSize);
1026 if (persistBounds) { 1026 if (persistBounds) {
1027 IDialogSettings settings = getDialogSettings(); 1027 IDialogSettings settings = getDialogSettings();
1028 if (settings !is null) { 1028 if (settings !is null) {
1029 try { 1029 try {