assureit/AssureIt — pull request #18 by Yusuke-Nakayama-lab (2013-10-30 07:00:27+00:00)
Title: apply new function coloring nodes to searchnode

Apply EnableHighlight and DisableHighlight to SearchNode.ts