210 Font font = context.getStyle().getFont(context);
211 FontMetrics fm = c.getFontMetrics(font);
212 prefSize.width += context.getStyle().getGraphicsUtils(context).
213 computeStringWidth(context, font, fm, text);
214 prefSize.height += fm.getHeight();
215 }
216 }
217 return prefSize;
218 }
219
220 /**
221 * {@inheritDoc}
222 */
223 @Override
224 public void propertyChange(PropertyChangeEvent e) {
225 if (SynthLookAndFeel.shouldUpdateStyle(e)) {
226 updateStyle((JToolTip)e.getSource());
227 }
228 String name = e.getPropertyName();
229 if (name.equals("tiptext") || "font".equals(name) ||
230 "foreground".equals(name)) {
231 // remove the old html view client property if one
232 // existed, and install a new one if the text installed
233 // into the JLabel is html source.
234 JToolTip tip = ((JToolTip) e.getSource());
235 String text = tip.getTipText();
236 BasicHTML.updateRenderer(tip, text);
237 }
238 }
239 }
|
210 Font font = context.getStyle().getFont(context);
211 FontMetrics fm = c.getFontMetrics(font);
212 prefSize.width += context.getStyle().getGraphicsUtils(context).
213 computeStringWidth(context, font, fm, text);
214 prefSize.height += fm.getHeight();
215 }
216 }
217 return prefSize;
218 }
219
220 /**
221 * {@inheritDoc}
222 */
223 @Override
224 public void propertyChange(PropertyChangeEvent e) {
225 if (SynthLookAndFeel.shouldUpdateStyle(e)) {
226 updateStyle((JToolTip)e.getSource());
227 }
228 String name = e.getPropertyName();
229 if (name.equals("tiptext") || "font".equals(name) ||
230 "foreground".equals(name) ||
231 "ancestor" == name || "graphicsConfiguration" == name) {
232 // remove the old html view client property if one
233 // existed, and install a new one if the text installed
234 // into the JLabel is html source.
235 JToolTip tip = ((JToolTip) e.getSource());
236 String text = tip.getTipText();
237 BasicHTML.updateRenderer(tip, text);
238 }
239 }
240 }
|