Code Editor : postgresql_manager.ini