After changing the folding definitions and rebuilding, folding in open editors becomes inconsistent. The obvious workaround is to close and re-open the editor after building.

Submitted by Gabriël Konat on 3 October 2013 at 20:17

On 3 October 2013 at 20:19 Gabriël Konat tagged folding

On 3 October 2013 at 20:19 Gabriël Konat tagged minor

On 3 October 2013 at 20:19 Gabriël Konat tagged lab

Log in to post comments