Post #2303629

@realestninja@social.linux.pizza I use the volume up/down/mute and brightness keys too often for that... Though I guess not often enough for having to press Fn+F[0-9] to become too annoying. But 13 numbered workspaces have always been enough for me, so I don't have to make that trade-off.