Make the JTree have a single selection model.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 18 Jan 2019 11:12:47 +0000 (12:12 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 18 Jan 2019 11:12:47 +0000 (12:12 +0100)
commit67134f5389b08ee7a1704755238c856f2e1983d5
treea9a0f808d3e566be18fe3e1ff674ce2eec32a45a
parentf710e396068ce8fb27e753a3e1be0b36430275b1
Make the JTree have a single selection model.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
src/RegionView.java