Actually -- that's incorrect. The file is encoded in UTF-8. It's probably just your browser is displaying it in a different encoding... Maybe launchpad is specifying a different default content encoding?
$ wget https://launchpadlibrarian.net/56422721/gwibber-867bzr-minimize-chars.patch $ file gwibber-867bzr-minimize-chars.patch gwibber-867bzr-minimize-chars.patch: unified diff output, UTF-8 Unicode text $ LC_ALL=en_US.utf8 cat gwibber-867bzr-minimize-chars.patch|grep '\.\.\.' + self.replacements = [(".", "...", "…"), ("-", "--", "—")]
I'm afraid I don't know vala and I'm no longer using gnome/gtk for coding so I don't know if I can help from here.
Actually -- that's incorrect. The file is encoded in UTF-8. It's probably just your browser is displaying it in a different encoding... Maybe launchpad is specifying a different default content encoding?
$ wget https:/ /launchpadlibra rian.net/ 56422721/ gwibber- 867bzr- minimize- chars.patch 867bzr- minimize- chars.patch 867bzr- minimize- chars.patch: unified diff output, UTF-8 Unicode text 867bzr- minimize- chars.patch| grep '\.\.\.'
$ file gwibber-
gwibber-
$ LC_ALL=en_US.utf8 cat gwibber-
+ self.replacements = [(".", "...", "…"), ("-", "--", "—")]
I'm afraid I don't know vala and I'm no longer using gnome/gtk for coding so I don't know if I can help from here.