/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 119 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 122 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 121 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 124 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 120 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 123 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/windows/classes/sun/awt/ |
H A D | Win32FontManager.java | 121 if (registeredFontFiles.contains(fontFileName)) { in registerFontFile() 124 registeredFontFiles.add(fontFileName); in registerFontFile()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 199 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1706 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 2884 if (registeredFontFiles.contains(fullName)) { 2895 registeredFontFiles.add(fullName); 2980 registerOtherFontFiles(registeredFontFiles); 3226 if (registeredFontFiles.contains(fontFileName)) { 3237 registeredFontFiles.add(fontFileName); 3294 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 199 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1717 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 2897 if (registeredFontFiles.contains(fullName)) { 2908 registeredFontFiles.add(fullName); 2994 registerOtherFontFiles(registeredFontFiles); 3241 if (registeredFontFiles.contains(fontFileName)) { 3252 registeredFontFiles.add(fontFileName); 3309 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 200 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1775 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 3133 if (registeredFontFiles.contains(fullName)) { 3145 registeredFontFiles.add(fullName); 3232 registerOtherFontFiles(registeredFontFiles); 3482 if (registeredFontFiles.contains(fontFileName)) { 3493 registeredFontFiles.add(fontFileName); 3550 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 200 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1770 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 2989 if (registeredFontFiles.contains(fullName)) { 3001 registeredFontFiles.add(fullName); 3088 registerOtherFontFiles(registeredFontFiles); 3338 if (registeredFontFiles.contains(fontFileName)) { 3349 registeredFontFiles.add(fontFileName); 3406 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 200 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1775 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 3133 if (registeredFontFiles.contains(fullName)) { 3145 registeredFontFiles.add(fullName); 3232 registerOtherFontFiles(registeredFontFiles); 3482 if (registeredFontFiles.contains(fontFileName)) { 3493 registeredFontFiles.add(fontFileName); 3550 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/font/ |
H A D | SunFontManager.java | 201 protected HashSet registeredFontFiles = new HashSet(); field in SunFontManager 1911 protected void registerOtherFontFiles(HashSet registeredFontFiles) { 3244 if (registeredFontFiles.contains(fullName)) { 3256 registeredFontFiles.add(fullName); 3347 registerOtherFontFiles(registeredFontFiles); 3615 if (registeredFontFiles.contains(fontFileName)) { 3626 registeredFontFiles.add(fontFileName); 3683 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 199 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1718 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 2905 if (registeredFontFiles.contains(fullName)) { 2917 registeredFontFiles.add(fullName); 3003 registerOtherFontFiles(registeredFontFiles); 3252 if (registeredFontFiles.contains(fontFileName)) { 3263 registeredFontFiles.add(fontFileName); 3320 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 198 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1764 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 3103 if (registeredFontFiles.contains(fullName)) { 3115 registeredFontFiles.add(fullName); 3202 registerOtherFontFiles(registeredFontFiles); 3452 if (registeredFontFiles.contains(fontFileName)) { 3463 registeredFontFiles.add(fontFileName); 3520 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/sun/font/ |
H A D | SunFontManager.java | 200 protected HashSet<String> registeredFontFiles = new HashSet<>(); field in SunFontManager 1770 protected void registerOtherFontFiles(HashSet<String> registeredFontFiles) { 2989 if (registeredFontFiles.contains(fullName)) { 3001 registeredFontFiles.add(fullName); 3088 registerOtherFontFiles(registeredFontFiles); 3338 if (registeredFontFiles.contains(fontFileName)) { 3349 registeredFontFiles.add(fontFileName); 3406 return registeredFontFiles.contains(fileName);
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/font/ |
H A D | SunFontManager.java | 201 protected HashSet registeredFontFiles = new HashSet(); field in SunFontManager 1911 protected void registerOtherFontFiles(HashSet registeredFontFiles) { 3244 if (registeredFontFiles.contains(fullName)) { 3256 registeredFontFiles.add(fullName); 3347 registerOtherFontFiles(registeredFontFiles); 3615 if (registeredFontFiles.contains(fontFileName)) { 3626 registeredFontFiles.add(fontFileName); 3683 return registeredFontFiles.contains(fileName);
|