moroal

Thank you very much. I have verified that the problem has been fixed except for monokai and druid themes, and it no longer affects my use. I just went on...