GNOME Bugzilla – Bug 774276
Take advantage of Unicode
Last modified: 2019-03-18 08:58:33 UTC
Created attachment 339631 [details] [review] Use Unicode in translatable strings Attached patch converts ASCII characters to Unicode, as recommended by <https://developer.gnome.org/hig/stable/typography.html>.
Created attachment 349380 [details] [review] Use Unicode in translatable strings Rebased on current master.
Moved to https://gitlab.gnome.org/GNOME/gedit-latex/merge_requests/1