IDE: Workaround some reported WxPython/MacOS problems.

SetSelection should be used instead of SetStringSelection , and FindString must use case_sensitive=True

Developer mode
==============

Add JavaScript
--------------

Write new widget type
---------------------