comparison dwtx/jface/action/StatusLine.d @ 43:ea8ff534f622

Fix override and super aliases
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Apr 2008 01:24:25 +0200
parents da5ad8eedf5d
children 46a6e0e6ccd4
comparison
equal deleted inserted replaced
42:4567a6f54939 43:ea8ff534f622
130 130
131 this(){ 131 this(){
132 DEFAULT_DATA = new StatusLineLayoutData(); 132 DEFAULT_DATA = new StatusLineLayoutData();
133 } 133 }
134 134
135 public Point computeSize(Composite composite, int wHint, int hHint, 135 public override Point computeSize(Composite composite, int wHint, int hHint,
136 bool changed) { 136 bool changed) {
137 137
138 if (wHint !is DWT.DEFAULT && hHint !is DWT.DEFAULT) { 138 if (wHint !is DWT.DEFAULT && hHint !is DWT.DEFAULT) {
139 return new Point(wHint, hHint); 139 return new Point(wHint, hHint);
140 } 140 }
171 totalWidth = maxHeight * 4; 171 totalWidth = maxHeight * 4;
172 } 172 }
173 return new Point(totalWidth, maxHeight); 173 return new Point(totalWidth, maxHeight);
174 } 174 }
175 175
176 public void layout(Composite composite, bool flushCache) { 176 public override void layout(Composite composite, bool flushCache) {
177 177
178 if (composite is null) { 178 if (composite is null) {
179 return; 179 return;
180 } 180 }
181 181
519 } 519 }
520 520
521 /** 521 /**
522 * Applies the given font to this status line. 522 * Applies the given font to this status line.
523 */ 523 */
524 public void setFont(Font font) { 524 public override void setFont(Font font) {
525 super.setFont(font); 525 super.setFont(font);
526 Control[] children = getChildren(); 526 Control[] children = getChildren();
527 for (int i = 0; i < children.length; i++) { 527 for (int i = 0; i < children.length; i++) {
528 children[i].setFont(font); 528 children[i].setFont(font);
529 } 529 }