I want to write a simple plugin which changes the title of PHPStorm. I need to work on a few customer websites which all have an unique ID.
The ID is displayed in the Title "ID - [Path] - PHPStorm 7.0". I want to make a request to our database to display the name of the customer so it's easier to decide on which page you are currently working on when you have a few PHPStorm instances running.
Is there a simple way to do this? I guess there is some kind of "onProjectOpened" event which I could hook on to.
Thanks in advance!