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