After my computer decided to run some updates, I was unable to login with my PIN. I had to do a password reset. I'm trying to re-enable the PIN, but I'm having difficulties.
I'm in Settings > Accounts ? Sign-in options. Under the PIN section, I should see an option to change or reset my PIN. However, that option doesn't appear. Instead, there's a button labeled Add. See this screenshot:
No matter what I enter in the box, it disappears once I enter the same number of characters as the length of the PIN I had been using, regardless of which characters I enter. When the dialog closes, nothing further happens.
How can I set a PIN?