Comment by pixelatedindex

> I swear I did not see the change in button width before reading the linked comment.

I didn’t either! I stared at that gif for a few minutes and I couldn’t tell what the problem is (or what to look for). It wasn’t until you said “changing button width” I knew where to focus my attention.