add missing options
fold on click instead of mousedown
 prevents button flickering on chrome
do not highlight dots without arrows in logicql
add wrap: printMargin
Merge pull request #1304 from ajaxorg/options

Add missing options