| commit | c0628cebab2d7dd4054969eafbd98a2b835109f0 | [log] [tgz] |
|---|---|---|
| author | Alex Panchenko <alex.panchenko@gmail.com> | Fri Sep 14 16:40:03 2012 +0200 |
| committer | Alex Panchenko <alex.panchenko@gmail.com> | Fri Sep 14 16:40:03 2012 +0200 |
| tree | 2189221e0fc0c00e054946247d5699ae160e0435 | |
| parent | d6f2bf4ab29c47faa9d6c733c58d47faf4dea47e [diff] |
ui: new preferences to control the rendering of parameter names & types (by default only parameter names are displayed)