I just upgraded from phpstorm 2018.1 to 2018.3.3. Pressing the Data Source Properties box doesn't open the dialog to edit my connection. Adding a new data source also doesn't open that dialog. (At one point it did manage to open when adding a new source, but I can't get it to do it again.) I have already tried "invalidating caches and restarting". What else is there to do?
Edit: I forgot to mention I'm on Mac OSx 10.14.2