15". It's a good 1.5" from the right arrow key to the edge.

mbreese · on Nov 15, 2019

That’s what I was guessing. I’d bet most of the people who don’t like the current (I guess now, the old) arrow key arrangement also have a 15”.

It’s honestly not something that I ever really noticed with a 13”.

tbabb · on Nov 15, 2019

Sure, but it's still a maladaptation to a problem that shouldn't exist in the first place.