src/Tools/VSCode/src/preview_panel.scala
changeset 72957 75fc90edc0a8
parent 72761 4519eeefe3b5
child 72959 a093b8fc9e21
equal deleted inserted replaced
72956:c007d0fa0938 72957:75fc90edc0a8
    28           resources.get_model(file) match {
    28           resources.get_model(file) match {
    29             case Some(model) =>
    29             case Some(model) =>
    30               val snapshot = model.snapshot()
    30               val snapshot = model.snapshot()
    31               if (snapshot.is_outdated) m
    31               if (snapshot.is_outdated) m
    32               else {
    32               else {
    33                 val preview = Presentation.preview(resources, snapshot)
    33                 val document = Presentation.html_document(resources, snapshot)
    34                 channel.write(LSP.Preview_Response(file, column, preview.title, preview.content))
    34                 channel.write(LSP.Preview_Response(file, column, document.title, document.content))
    35                 m - file
    35                 m - file
    36               }
    36               }
    37             case None => m - file
    37             case None => m - file
    38           }
    38           }
    39         })
    39         })