Extra white inner border and stub toolbar in terminal

[JasonWeill]

In Notebook 7.0.0a17, the terminal has extra white inner border in light mode and white stub toolbar at the top. There is more space between the black rectangle and the bottom of the page than for the text editor, but maybe we need a bit more - but that spacing should match for the editor and terminal.

This was found by @ellisonbg during a bug bash.

[JasonWeill]

In source (tip of master), I see the stub toolbar at the top, but not the inner white border. I'm using the default light border for Notebook, with a dark Terminal Theme.

[jtpio]

That white inner white border looks unfamiliar (never seen it so far).

[ellisonbg]

I should note that even on my system it is transient. This bug also used to be spent in lab, but I will have to look up the issue and PR that fixed it.Sent from my iPhoneOn Mar 23, 2023, at 12:52 AM, Jeremy Tuloup ***@***.***> wrote: That white inner white border looks unfamiliar (never seen it so far). —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were mentioned.Message ID: ***@***.***>