Fix for 179225 deletion of folded regions does not crash anymore.
There are some other updating issues remaining, but they are not related to this bug report.
Handling of top/bottom view bars instead of only bottom ones.
This is currently unused for 4.2 but it makes merging of my private codebase easier later on |
|
|
