All right, so let's save this. We'll close the terminal and reopen it up again. And all right, so you'll see we've lost our terminal title bar, which is good. But now everything's kind of too closely packed to the edge of the terminal there. There's no kind of space over here on the left. So let's fix that by adding one more setting, which is window padding width. And I like to set this to 10. All right, let's quit this and reopen it. Oops, sorry, that didn't work. Let's go have a look at what I did there.