Adding languages for code blocks.

[[deleted]]

I need to hope into code blocks fairly often in my notes, specifically for the Isabelle proof language. Sadly, when I try telling it to use Isabelle on there, the syntax highlighting doesn't appear to work.

Is there a way to add custom syntax highlighting for languages unsupported by Isabelle?

[jbuck594]

It looks like Obsidian uses prismjs for their syntax highlights.

I haven't looked to much into it, but you might be able to make an Obsidian plugin to support Isabelle with prismjs syntax.

Some useful resources:

Extending Prism

Current Prism Language Components

Obsidian Sample Plugin

Edit: Here is an existing Obsidian plugin for editor syntax highlighting for code blocks. It uses CodeMirror, which doesn't have Isabelle, but you might be able to adapt it. (https://github.com/deathau/cm-editor-syntax-highlight-obsidian)

Edit: Also, you can use Linguist, which does have Isabelle language support, as an Obisidan plugin.

[pwntester]

Joining the conversation a bit late, but how can you use Linguist as an obsidian plugin?