diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-07-09 13:14:46 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-09 13:15:45 -0300 |
| commit | 1d6be8b00d9c46ca748f9465864ce74487c6bc88 (patch) | |
| tree | c3e6237e4b402ec4604dbb4f597c2838d8aadc5e /tools/script_plugins | |
| parent | 48bdaaa5601e82f242af240fd9eb1b4a7acb79b7 (diff) | |
Changed tree so shift-selection skips folded children, closes #5515
Diffstat (limited to 'tools/script_plugins')
0 files changed, 0 insertions, 0 deletions