Thanks Joseph. I'll look into it.
Since I reported this, a friend suggested that I try logging out and back in to see if that changes anything. That does seem to make the stylus start working again when I do that, in case that changes anything. I'll add this workaround to the bug summary.
Thanks Joseph. I'll look into it.
Since I reported this, a friend suggested that I try logging out and back in to see if that changes anything. That does seem to make the stylus start working again when I do that, in case that changes anything. I'll add this workaround to the bug summary.