--- a/src/Tools/jEdit/src/isabelle_sidekick.scala Sun Oct 05 17:58:36 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala Sun Oct 05 18:14:26 2014 +0200
@@ -242,40 +242,3 @@
}
}
-
-class Isabelle_Sidekick_Bibtex extends SideKickParser("bibtex")
-{
- override def supportsCompletion = false
-
- private class Asset(
- label: String, label_html: String, start: Text.Offset, stop: Text.Offset, source: String)
- extends Isabelle_Sidekick.Asset(label, start, stop) {
- override def getShortString: String = label_html
- override def getLongString: String = source
- }
-
- def parse(buffer: Buffer, error_source: errorlist.DefaultErrorSource): SideKickParsedData =
- {
- val data = Isabelle_Sidekick.root_data(buffer)
-
- try {
- var offset = 0
- for (chunk <- Bibtex.parse(JEdit_Lib.buffer_text(buffer))) {
- val kind = chunk.kind
- val name = chunk.name
- val source = chunk.source
- if (kind != "") {
- val label = kind + (if (name == "") "" else " " + name)
- val label_html =
- "<html><b>" + kind + "</b>" + (if (name == "") "" else " " + name) + "</html>"
- val asset = new Asset(label, label_html, offset, offset + source.size, source)
- data.root.add(new DefaultMutableTreeNode(asset))
- }
- offset += source.size
- }
- data
- }
- catch { case ERROR(_) => null }
- }
-}
-