Lines Matching refs:node_name
52 } yield (model.node_name -> blob)).toMap)
68 def node_name: Document.Node.Name = model.node_name
95 def node_name(file: JFile): Document.Node.Name =
170 val model = st.models.getOrElse(file, Document_Model.init(session, editor, node_name(file)))
204 state.change(_.change_overlay(true, node_file(command.node_name), command, fn, args))
207 state.change(_.change_overlay(false, node_file(command.node_name), command, fn, args))
223 yield (model.node_name, Position.none)).toList
229 (_, model) <- st.models.iterator if model.node_name.is_bibtex
230 thy_name <- Bibtex.make_theory_name(resources, model.node_name)
252 node_name <- thy_files1.iterator ++ thy_files2.iterator ++ aux_files.iterator
253 file = node_file(node_name)
258 val model = Document_Model.init(session, editor, node_name)