New port: devel/pycharm-pro, PyCharm Professional (Python IDE)

PyCharm Professional is an advanced IDE developed by JetBrains and focused on
developer productivity. PyCharm provides smart code completion, code
inspections, on-the-fly error highlighting and quick-fixes, along with
automated code refactorings and rich navigation capabilities.

In addition to the features provided by the Community Edition, PyCharm
Professional has scientific, database & SQL tools, support for web development,
Python web development frameworks, the Python profiler and remote development.

WWW: https://www.jetbrains.com/pycharm/

PR: 242705
Submitted by: Guido Kollerie <guido@kollerie.com>
Reviewed by: koobs