haskellmcravin1 Is there anything that can be done to fix this behavior? Simply not formatting the multi-line comments would probably be an easy fix to this issue.
MiloslavBeno Hello, Thank you for the post. May I ask for the complete file when this is happening? Thanks!
haskellmcravin1 Any minimal page has this behavior on my system. <? /* if (!isset($_RANDKEY) || $_RANDKEY == 0) { $_RANDKEY = rand() % 1000000; } */
haskellmcravin1 Is there any news or any other information you need from me? This happens to any multiline commented block in my codebase.
MiloslavBeno Thanks for the test case, we are still unable to replicate. Maybe it's related to some setting. Could you please provide me with your settings? Thank you
MiloslavBeno Hello, We still can't replicate this. Would you be willing to make an online session, so we could take a look directly on your computer? Thank you!
haskellmcravin1 I don't think that will be possible. I will add I'm using the extension "Shortcut Menu Bar" and its "Beautify" button for formatting.