@notjack DrDr appears to need a real X server because when I used Xvfb the DrR tests did not pass because the mouse/screen/drawing wasn’t exactly the same as it expected.

with the new 6.11 update, I’m very happy with how fast the program contour feature is now. It’s much useful on my large files now.

The documentation for snip-editors’s get-inset method says the inset is “how much space is left between the edge of the snip and the border.”

What border is it referring to?

I assume its not the editor’s border, as that’s the margin.

Would it be the edge of the external editor?

It could also be the snip’s border, but then wouldn’t the edge of the snip and the snip’s border be the same, leading to a value of 0?

Ohh…I think I get it. The editor’s border is smaller than the snip’s border. So the inset is the distance between the two of them.

And the margin is the extra space beyond the snip’s border.

Something like this:

Oh jeez, maybe not. THere is also a concept of padding too…. :disappointed:

@mflatt You might know this stuff.

ohh..its just the css box model:

padding = padding

inset = border

margin = margin

I think padding and margin are as in CSS, but the border is always drawn with width 1 and doesn’t add to the box’s size. Inset specifies where a border is drawn relative to the box created by padding + margin (and a larger inset value doesn’t mean the box gets bigger, but that the border is drawn further from the edge of the box).

hmm…interesting. So the border’s position isn’t really connected to the padding and margin per se? If so interesting, thanks. :slightly_smiling_face: