added jtags and ido-vertical-mode