jdk/src/java.desktop/share/classes/javax/swing/text/DefaultStyledDocument.java
changeset 28059 e576535359cc
parent 26037 508779ce6619
child 30462 507bcb03c954
equal deleted inserted replaced
28058:87940c838900 28059:e576535359cc
   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();