unicode: hide most player ui symbols
[sheet.git] / unicode.plp
index 40273529257420a879fdb2c943ac55e03758a903..fe653f9278182eeeca14209a81ad06d4f7ab924e 100644 (file)
@@ -41,7 +41,7 @@ print_glyph_tables(
        'Popular',
        [qw{. « » . ‹ › . ‘ ’ . “ ” . „ ‚ . ‟ ‛}],
        [qw{. † ‡ • . § ¶ # . © ® ™ . ° ′ ″ . − × ÷ . ± ² √}],
-       [qw{. ⚋ ⚊ . ⚐ ⚑ . ☺ ☹ . ✓ ✗ . ✔ ✘ }],
+       [qw{. ⚋ ⚊ . ⚐ ⚑ . ☺ ☹ . ✓ ✗ . ✔ ✘ }, $verbose ? () : qw{. ◄ ►}],
        [qw{. å ä ö ü ß . ā æ ø ű ſ}],
        [qw{. ñ ç é ê è . ŋ č ų ŭ ů }],
        [qw{. ¿ … 〃 ‐ – . ‽ · ※ ‒ — }],
@@ -69,7 +69,9 @@ print_glyph_tables(
        [qw{. ⎀ ⇱ ⇞ . ⌦ ⇲ ⇟ }], # edit block
        [qw{. ⇪ ⇯ ⇭ . ⇧ ⇮ № }], # modifier
        [qw{. ⎈ ⌥ ⌘ ⎄ }], [qw{. ↵ ⎋ ⎉ ⎊ }], # command
+$verbose ? (
        [qw{. ► ⏩ ⏭ ◼ ⚫ . ◄ ⏪ ⏮ ⏏ -❚❚ }], # player ui
+) : (),
 
        'Arrows',
        [qw{. ↖ ↑ ↗ ↔ . ← - → ↕ . ↙ ↓ ↘ -}],