7:37:07scymtymjackdaniel: could you squash removing and re-adding of pointer grabbing into a single commit, preferably as the first commit of the pull request? i think that would be easier to follow and work better with git tools
7:40:31jackdanielugh, I'd rather not but OK. I'll split the commit removing it as well, to make changes atomic
7:41:36scymtymthank you, i really find it confusing right now because something is removed at the beginning and then added back in a different form at the very end
7:49:23jackdanielscymtym: done, it is sqashed into the first commit
7:50:04scymtymjackdaniel: thanks. i'm taking another look
8:07:50scymtymi just realized that we had two subtly different versions of the WITH-POINTER-GRABBED macro
8:20:12jackdanieloh, I didn't move with-pointer-grabbed removal
8:24:28scymtymi have resolved all conversations (i think. github for sure doesn't make it easy to tell) and was going to ask whether everything was ready