Refresh when unfolding on mouse down event

This seems to be necessary when the document occupies less space than the visible document window.

Frameworks/OakTextView/src/OakTextView.mm

@@ -3724,6 +3724,7 @@ - (void)mouseDown:(NSEvent*)anEvent
 
 	if(ng::range_t r = layout->folded_range_at_point([self convertPoint:[anEvent locationInWindow] fromView:nil]))
 	{
+		AUTO_REFRESH;
 		layout->unfold(r.min().index, r.max().index);
 		return;
 	}