how to change font size?
Please refer https://youtrack.jetbrains.com/articles/SUPPORT-A-357/How-to-change-font-size-in-a-tool-window
Please sign in to leave a comment.
Please refer https://youtrack.jetbrains.com/articles/SUPPORT-A-357/How-to-change-font-size-in-a-tool-window