The API of idea plugin can achieve similar functions 17694842143 Created June 06, 2024 17:58 tips information can be customized
