OLD | NEW |
---|---|
1 <?xml version="1.0" ?> | 1 <?xml version="1.0" ?> |
2 <!DOCTYPE translationbundle> | 2 <!DOCTYPE translationbundle> |
3 <translationbundle lang="ar"> | 3 <translationbundle lang="ar"> |
4 <translation id="IDS_WEB_FONT_FAMILY">Chrome Droid Sans, Droid Arabic Kufi, sans -serif</translation> | 4 <translation id="IDS_WEB_FONT_FAMILY">Noto Sans UI, Droid Arabic Naskh, sans-ser if</translation> |
5 <translation id="IDS_MINIMUM_FONT_SIZE">10</translation> | 5 <translation id="IDS_MINIMUM_FONT_SIZE">10</translation> |
6 <translation id="IDS_MINIMUM_LOGICAL_FONT_SIZE">10</translation> | 6 <translation id="IDS_MINIMUM_LOGICAL_FONT_SIZE">10</translation> |
7 <translation id="IDS_LOCALE_GTKRC"> # gtkrc.ar | 7 <translation id="IDS_LOCALE_GTKRC"> # gtkrc.ar |
8 gtk-font-name="ChromeDroidSans,Droid Arabic Kufi,sans-serif, 10" | 8 gtk-font-name="Noto Sans UI,Droid Arabic Naskh,sans-serif, 10" |
Daniel Erat
2012/08/02 23:22:25
IDS_LOCALE_GTKRC isn't used anywhere as far as I c
| |
9 style "OverrideTooltipFontStyle" = "TooltipStyle" { | 9 style "OverrideTooltipFontStyle" = "TooltipStyle" { |
10 font_name = "ChromeDroidSans,Droid Arabic Kufi,sans-serif, 10" | 10 font_name = "Noto Sans UI,Droid Arabic Naskh,sans-serif, 10" |
11 } | 11 } |
12 widget "gtk-tooltip*" style "OverrideTooltipFontStyle" | 12 widget "gtk-tooltip*" style "OverrideTooltipFontStyle" |
13 </translation> | 13 </translation> |
14 </translationbundle> | 14 </translationbundle> |
OLD | NEW |