Box selection

Slow start, eh? I haven’t written a post in here since I started this blog, as I’ve been a bit, uh, distracted by other work-like things. One of those things was implementing box selection in the new editor. Quick side note: coming up in the near future, I’ll write a bit about two extensions I…

4