small formatting changes
export options_to_js
add options to menu