anderseknert, 15 days ago @jgillich Yeah, but apparently not neat enough for me to ever look at it 😄 OTOH I haven't been bothered by it either, until just today when I needed to split the editor across a couple of files and it suddenly was very much in the way.
@jgillich Yeah, but apparently not neat enough for me to ever look at it 😄 OTOH I haven't been bothered by it either, until just today when I needed to split the editor across a couple of files and it suddenly was very much in the way.