заменить '<-' на '←'

[GoogleCodeExporter]

У вас в диалоге ввода токена можно заменить 
кострукцию, изображающую
стрелку '<-' на настоящую стрелку - юникодный 
символ '←'

для этого достаточно на месте стрелки 
вставить ее юникодный html-hex-код в
таком виде: &#x2190;

http://www.fileformat.info/info/unicode/char/2190/index.htm

еще разные стрелки:
http://www.alanwood.net/unicode/arrows.html
http://en.wikipedia.org/wiki/Arrow_(symbol)

Original issue reported on code.google.com by bender...@gmail.com on 2 Jun 2009 at 12:43

[GoogleCodeExporter]

на обычную стрелочку (x2190) поменять совсем 
не сложно. правда читается она плохо..
мелоко очень и не четко. а вот более широкие 
(типа x21E6) воспроизвести не удалось
так как видимо шрифт, которым печатается в 
диалоге содержит не все юникодные символы
и отображается квадратиком.

Версию со стрелочкой зачекинил но думаю 
стоит изменить шрифт в диалоге и вывести
нормальную крупную стрелку, поэтому пока в 
пофиксенные рекламацию не перевожу

Original comment by a.kostyuchenko on 2 Jun 2009 at 2:17

• Changed state: Accepted

[GoogleCodeExporter]

Это было как предложение - если не читается, 
то фиг с ним - пусть будет как раньше. 

Шрифт мне кажется там везде один и тот же - 
его гугл специально для андроида
заказывал - можно просто попробовать 
увеличить его размер.

Original comment by bender...@gmail.com on 2 Jun 2009 at 2:23