1/* Title: Tools/jEdit/src/isabelle_encoding.scala 2 Author: Makarius 3 4Isabelle encoding -- based on UTF-8. 5*/ 6 7package isabelle.jedit 8 9 10import isabelle._ 11 12import org.gjt.sp.jedit.buffer.JEditBuffer 13 14 15object Isabelle_Encoding 16{ 17 def is_active(buffer: JEditBuffer): Boolean = 18 buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == "UTF-8-Isabelle" 19 20 def perhaps_decode(buffer: JEditBuffer, s: String): String = 21 if (is_active(buffer)) Symbol.decode(s) else s 22} 23