Improvements to the select tool

I pushed out a few changes earlier today to the testing channel. All centered around the select tool:

  • Undoing a move now reselects the area that was moved (as long as the select tool is selected).
  • Hitting Escape now deselects everything.
  • The help text for the select tool accurately reflects the current status of the tool.
  • Fixed several weird behaviors around selecting and moving big tokens.
  • The toolbar will now make itself shorter on less-tall screens (since the Select tool makes the toolbar even taller now… at least one person said that the toolbar didn’t fit on their screen anymore).

Happy Shmepping ya’ll :slight_smile: