Resolved bugs 1251 and 1138. Updated ux-editform.js to disable SAVE...

...button once it is clicked. Updated ux-views.js to convert type=platform search to type_=platform