treedrawing.js: properly determine value of incremental search checkbox