all color themes: treat comment docstrings as comments too#182162
Merged
aeschli merged 4 commits intomicrosoft:mainfrom May 15, 2023
Merged
all color themes: treat comment docstrings as comments too#182162aeschli merged 4 commits intomicrosoft:mainfrom
aeschli merged 4 commits intomicrosoft:mainfrom