equal
deleted
inserted
replaced
112 ArrayList<Font> fonts = new ArrayList<Font>(); |
112 ArrayList<Font> fonts = new ArrayList<Font>(); |
113 ArrayList<Integer> indices = new ArrayList<Integer>(); |
113 ArrayList<Integer> indices = new ArrayList<Integer>(); |
114 |
114 |
115 for (int i=0; i<getAllFonts().length; i++) { |
115 for (int i=0; i<getAllFonts().length; i++) { |
116 Font font = allFonts[i]; |
116 Font font = allFonts[i]; |
117 Font2D font2D = FontManager.getFont2D(font); |
117 Font2D font2D = FontUtilities.getFont2D(font); |
118 if (font2D.hasSupplementaryChars()) { |
118 if (font2D.hasSupplementaryChars()) { |
119 fonts.add(font); |
119 fonts.add(font); |
120 indices.add(Integer.valueOf(i)); |
120 indices.add(Integer.valueOf(i)); |
121 } |
121 } |
122 } |
122 } |