On 29/10/2014 13:01, Axel Dörfler wrote: > Am 29.10.2014 10:55, schrieb pulkomandy@xxxxxxxxxxxxx: >> * Use unicode symbols for play/stop buttons instead of a label > > I haven't seen that yet, but maybe we should reuse the same icons we're > using for the MediaPlayer? $ echo -e '\xE2\x96\xA0 \xE2\x96\xB6' ■ ▶ Looks fine to me. François.