SimpleIDE on Raspberry Pi

I have a Pimoroni Propeller HAT and a Raspberry Pi 2 with Jessie.

I have both the Propeller IDE and SimpleIDE installed and working. To get a SimpleIDE icon on the desktop I finally down loaded and unzipped a Debian version to get the icon and desktop files.

What I want to do now is add to the board configuration files and have them show up in the list in SimpleIDE. The manual is not helping me. Where does it hide the list of board types?

Thanks