kdevelop/plugins/pgioptions
