src/Tools/jEdit/src/isabelle_encoding.scala
changeset 67130 b023f64e0d16
parent 66457 9098c36abd1a
     1.1 --- a/src/Tools/jEdit/src/isabelle_encoding.scala	Mon Dec 04 21:23:56 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_encoding.scala	Mon Dec 04 22:52:16 2017 +0100
     1.3 @@ -17,6 +17,6 @@
     1.4    def is_active(buffer: JEditBuffer): Boolean =
     1.5      buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == "UTF-8-Isabelle"
     1.6  
     1.7 -  def maybe_decode(buffer: JEditBuffer, s: String): String =
     1.8 +  def perhaps_decode(buffer: JEditBuffer, s: String): String =
     1.9      if (is_active(buffer)) Symbol.decode(s) else s
    1.10  }