Reformat user guide
Closed this issue · 3 comments
jakobbraun commented
Currently, the IntelliJ IDEA code formatter breaks the code formatting in the Java listings in the user_guide. After this is fixed, we should reformat the file.
jakobbraun commented
They don't plan to fix it: https://youtrack.jetbrains.com/issue/IDEA-269943/Code-blocks-are-highlighted-as-errors-in-Markdown
jakobbraun commented
Maybe we just close that ticket?
redcatbear commented
Closing ticket since upstream will not fix blocker.