With the plugin, pragma highlighting is usually correct but I have seen some cases where the plugin incorrectly highlights pragmas incorrectly. I am using the latest version of IntelliJ IDEA with the latest plugin installed. The opening tag {-# is colored properly but the closing tag -#} is not. Please refer to the following screenshot. The screenshot was copied from JetBrains IDEA (left) and Visual Studio Code (right).
With the plugin, pragma highlighting is usually correct but I have seen some cases where the plugin incorrectly highlights pragmas incorrectly. I am using the latest version of IntelliJ IDEA with the latest plugin installed. The opening tag
{-#
is colored properly but the closing tag-#}
is not. Please refer to the following screenshot. The screenshot was copied from JetBrains IDEA (left) and Visual Studio Code (right).