caracteres estreitos

1

Seria fantástico modificar a faísca para imprimir caracteres estreitos em, por exemplo, o Gnome Terminal. Isso é possível com o Bash / Python?

    
por l0b0 18.11.2011 / 15:36

2 respostas

4

Não. Embora os terminais compatíveis com VT100 tenham suporte para linhas de largura dupla (usando a sequência de controle DECDWL), eles não tem suporte para linhas estreitas ou caracteres.

    
por 18.11.2011 / 17:52
3

Quando eu leio a fonte de spark , vejo que ela usa apenas os caracteres especiais ASCII como "ticks" - então, em geral, a resposta é não , porque isso precisaria da fonte a ser alterada na hora. Bem, talvez você possa realmente usar uma fonte especial de largura não-definida definida, por exemplo, como a fonte itálico ou negrito para o terminal, mas isso seria uma única vez e ajuste (escolhendo a fonte) e afetaria toda a saída do terminal que normalmente seria impressa em itálico / negrito - e isso definitivamente não é desejável.

    
por 18.11.2011 / 16:47