equal
deleted
inserted
replaced
407 return styles.getStyle(nm); |
407 return styles.getStyle(nm); |
408 } |
408 } |
409 |
409 |
410 |
410 |
411 /** |
411 /** |
412 * Fetches the list of of style names. |
412 * Fetches the list of style names. |
413 * |
413 * |
414 * @return all the style names |
414 * @return all the style names |
415 */ |
415 */ |
416 public Enumeration<?> getStyleNames() { |
416 public Enumeration<?> getStyleNames() { |
417 return ((StyleContext) getAttributeContext()).getStyleNames(); |
417 return ((StyleContext) getAttributeContext()).getStyleNames(); |