Oh! another idea: two-lined "arrows" in "launchpad" buttons could be replaced with one-lined "slashes". That would be more consistent.
Oh! another idea: two-lined "arrows" in "launchpad" buttons could be replaced with one-lined "slashes". That would be more consistent.