comparison 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
comparison
equal deleted inserted replaced
42:4567a6f54939 43:ea8ff534f622
703 } 703 }
704 704
705 /* (non-Javadoc) 705 /* (non-Javadoc)
706 * @see dwtx.jface.resource.ResourceRegistry#getKeySet() 706 * @see dwtx.jface.resource.ResourceRegistry#getKeySet()
707 */ 707 */
708 public SetView!(String) getKeySet() { 708 public override SetView!(String) getKeySet() {
709 auto res = new HashSet!(String); 709 auto res = new HashSet!(String);
710 foreach( k, v; stringToFontData ){ 710 foreach( k, v; stringToFontData ){
711 res.add( k ); 711 res.add( k );
712 } 712 }
713 return res; 713 return res;
714 } 714 }
715 715
716 /* (non-Javadoc) 716 /* (non-Javadoc)
717 * @see dwtx.jface.resource.ResourceRegistry#hasValueFor(java.lang.String) 717 * @see dwtx.jface.resource.ResourceRegistry#hasValueFor(java.lang.String)
718 */ 718 */
719 public bool hasValueFor(String fontKey) { 719 public override bool hasValueFor(String fontKey) {
720 return stringToFontData.containsKey(fontKey); 720 return stringToFontData.containsKey(fontKey);
721 } 721 }
722 722
723 /* (non-Javadoc) 723 /* (non-Javadoc)
724 * @see dwtx.jface.resource.ResourceRegistry#clearCaches() 724 * @see dwtx.jface.resource.ResourceRegistry#clearCaches()
725 */ 725 */
726 protected void clearCaches() { 726 protected override void clearCaches() {
727 foreach( k,v; stringToFontRecord ){ 727 foreach( k,v; stringToFontRecord ){
728 v.dispose(); 728 v.dispose();
729 } 729 }
730 foreach( fnt; staleFonts.toArray ){ 730 foreach( fnt; staleFonts.toArray ){
731 fnt.dispose(); 731 fnt.dispose();