JChemPaint/jchempaint — pull request #31 by rwst (2012-06-01 16:38:12+00:00)
Title: fix for #19

allow setHighlightAtom(null) to do what it says, use it after atom is deleted/cut; fixes issue #19