Lines Matching refs:node_name
42 def node_name(path: String): Document.Node.Name =
54 def node_name(buffer: Buffer): Document.Node.Name =
55 node_name(JEdit_Lib.buffer_name(buffer))
59 val name = node_name(buffer)
81 def read_file_content(node_name: Document.Node.Name): Option[String] =
83 Bibtex.make_theory_content(node_name.theory) orElse {
84 val name = node_name.node
95 def get_file_content(node_name: Document.Node.Name): Option[String] =
96 Document_Model.get(node_name) match {
99 case None => read_file_content(node_name)