George

Results 54 comments of George

Also curious about what @adamperez mentioned? And, if not surfaced, how easy would it be to add? I'd be interested in contributing it

This is not around the editor itself, but rather, around the actual text I type. The borders expand when I add a new line

Indeed, the issue was a version mismatch

Ups, I was mistaken here, the `aud` is supposed to be the actual push service origin (e.g. `https://fcm.googleapis.com` for chromium`) -- in this case, should this parameter be automatically extracted...