comparison dwtx/jface/resource/FontDescriptor.d @ 43:ea8ff534f622

Fix override and super aliases
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Apr 2008 01:24:25 +0200
parents 8a302fdb4140
children
comparison
equal deleted inserted replaced
42:4567a6f54939 43:ea8ff534f622
286 public abstract void destroyFont(Font previouslyCreatedFont); 286 public abstract void destroyFont(Font previouslyCreatedFont);
287 287
288 /* (non-Javadoc) 288 /* (non-Javadoc)
289 * @see dwtx.jface.resource.DeviceResourceDescriptor#create(dwt.graphics.Device) 289 * @see dwtx.jface.resource.DeviceResourceDescriptor#create(dwt.graphics.Device)
290 */ 290 */
291 public final Object createResource(Device device) { 291 public override final Object createResource(Device device) {
292 return createFont(device); 292 return createFont(device);
293 } 293 }
294 294
295 /* (non-Javadoc) 295 /* (non-Javadoc)
296 * @see dwtx.jface.resource.DeviceResourceDescriptor#destroy(java.lang.Object) 296 * @see dwtx.jface.resource.DeviceResourceDescriptor#destroy(java.lang.Object)
297 */ 297 */
298 public final void destroyResource(Object previouslyCreatedObject) { 298 public override final void destroyResource(Object previouslyCreatedObject) {
299 destroyFont(cast(Font)previouslyCreatedObject); 299 destroyFont(cast(Font)previouslyCreatedObject);
300 } 300 }
301 } 301 }