src/Tools/jEdit/src/document_model.scala
changeset 64832 f6a09ac4e640
parent 64831 4792ee012e94
child 64835 fd1efd6dd385
equal deleted inserted replaced
64831:4792ee012e94 64832:f6a09ac4e640
    78     state.value.models_iterator.forall(_.is_stable)
    78     state.value.models_iterator.forall(_.is_stable)
    79 
    79 
    80   def bibtex_entries_iterator(): Iterator[Text.Info[(String, Document_Model)]] =
    80   def bibtex_entries_iterator(): Iterator[Text.Info[(String, Document_Model)]] =
    81     for {
    81     for {
    82       model <- state.value.models_iterator
    82       model <- state.value.models_iterator
    83       Text.Info(range, entry) <- model.bibtex_entries
    83       Text.Info(range, entry) <- model.bibtex_entries.iterator
    84     } yield Text.Info(range, (entry, model))
    84     } yield Text.Info(range, (entry, model))
    85 
    85 
    86 
    86 
    87   /* init and exit */
    87   /* init and exit */
    88 
    88