jdk/src/share/classes/javax/swing/JEditorPane.java
changeset 25122 1ecc464c69d2
parent 22574 7f8ce0c8c20a
child 25126 112171727d16
equal deleted inserted replaced
25121:dbbe6470fd1a 25122:1ecc464c69d2
   963      */
   963      */
   964     public final void setContentType(String type) {
   964     public final void setContentType(String type) {
   965         // The type could have optional info is part of it,
   965         // The type could have optional info is part of it,
   966         // for example some charset info.  We need to strip that
   966         // for example some charset info.  We need to strip that
   967         // of and save it.
   967         // of and save it.
   968         int parm = type.indexOf(";");
   968         int parm = type.indexOf(';');
   969         if (parm > -1) {
   969         if (parm > -1) {
   970             // Save the paramList.
   970             // Save the paramList.
   971             String paramList = type.substring(parm);
   971             String paramList = type.substring(parm);
   972             // update the content type string.
   972             // update the content type string.
   973             type = type.substring(0, parm).trim();
   973             type = type.substring(0, parm).trim();