ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Double click on an outline category should expand the tree #9

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
When double clicking on Signatures,Facts, Functions, etc, the expected
behavior is to expand/collapse the tree. 

Original issue reported on code.google.com by daniel.l...@gmail.com on 6 Apr 2007 at 1:06

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 7 Apr 2007 at 3:45