0418b68051
Until now the arrows were the associated arrow character of the font. This cause some problems like different arrows for different fonts, and size can be altered because of the font size. To solve that, use an image for the arrows. https://bugzilla.gnome.org/show_bug.cgi?id=720206
91 lines
2.5 KiB
XML
91 lines
2.5 KiB
XML
