diff dwtx/jface/resource/FontRegistry.d @ 43:ea8ff534f622

Fix override and super aliases
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Apr 2008 01:24:25 +0200
parents 1ab001d67011
children 115258985f10
line wrap: on
line diff
--- a/dwtx/jface/resource/FontRegistry.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/resource/FontRegistry.d	Fri Apr 11 01:24:25 2008 +0200
@@ -705,7 +705,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.resource.ResourceRegistry#getKeySet()
      */
-    public SetView!(String) getKeySet() {
+    public override SetView!(String) getKeySet() {
         auto res = new HashSet!(String);
         foreach( k, v; stringToFontData ){
             res.add( k );
@@ -716,14 +716,14 @@
     /* (non-Javadoc)
      * @see dwtx.jface.resource.ResourceRegistry#hasValueFor(java.lang.String)
      */
-    public bool hasValueFor(String fontKey) {
+    public override bool hasValueFor(String fontKey) {
         return stringToFontData.containsKey(fontKey);
     }
 
     /* (non-Javadoc)
      * @see dwtx.jface.resource.ResourceRegistry#clearCaches()
      */
-    protected void clearCaches() {
+    protected override void clearCaches() {
         foreach( k,v; stringToFontRecord ){
             v.dispose();
         }