[gui] restore fold/unfold, modulo rescrolling to right place

it seems like scrolling in a sourceview whose buffer has just been modified is
not the easiest thing to do in gtk