shift+click with PEN now fills *any* hole for the selected AreaList,
commit071079d5bd88556d656af1b349b5c1c8b05ff064
authorAlbert Cardona <acardona@ini.phys.ethz.ch>
Mon, 13 Apr 2009 17:08:20 +0000 (13 19:08 +0200)
committerAlbert Cardona <acardona@ini.phys.ethz.ch>
Mon, 13 Apr 2009 17:08:20 +0000 (13 19:08 +0200)
tree6a16ed8db8584051a0774a3180d75edb44bc38f7
parent842a457a723e5a27552af38b8b29fa4853fd37d6
shift+click with PEN now fills *any* hole for the selected AreaList,
be it:
 * in the selected AreaList
 * in another AreaList that has a hole where clicked
 * in a merge of all areas in the layer that shows a hole where clicked

Feature added after request from Nuno da Costa, INIer.
ini/trakem2/display/AreaList.java