⚡️ Ideas
Adam J. Richman Adam J. Richman Nov 12, 2023

Apply Colors to Supertags via Selection + Command Palette 🌈

Explain the problem as you see it

When making a bunch of new supertags and wanting them all to be the same color, there's no easy way to simply select all of them with the keyboard, hit CMD+K find something like "Set Supertag Color to..." and then have a quick little list of colors. It requires lots of mousing into the tag, and mousing into colors. Inefficient.

Why is this a problem for you?

It's inefficient and makes me reach for my mouse.

Suggest a solution

Add a command to set the supertag's colors via CMD+K / command palette. Thanks!