After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 746091 - Wrong symbol for bowtie in translator comment
Wrong symbol for bowtie in translator comment
Status: RESOLVED FIXED
Product: orca
Classification: Applications
Component: i18n
3.15.x
Other All
: Normal minor
: ---
Assigned To: Orca Maintainers
Orca Maintainers
Depends on:
Blocks:
 
 
Reported: 2015-03-12 12:24 UTC by Anders Jonsson
Modified: 2015-03-12 12:31 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Use bowtie symbol in comment (999 bytes, patch)
2015-03-12 12:24 UTC, Anders Jonsson 		committed Details | Review

Description Anders Jonsson 2015-03-12 12:24:03 UTC 
Created attachment 299195 [details] [review]
Use bowtie symbol in comment

Hi,
in src/orca/mathsymbols.py the symbol ⋇ is used in the translator comments both for "division times" (U+22c7) and bowtie (U+22c7). The second should be replaced with the symbol ⋈.

The attached patch fixes this.
Comment 1 Joanmarie Diggs (IRC: joanie) 2015-03-12 12:30:41 UTC 
Ugh. I suck. Thanks for catching and fixing that. Patch committed to both master and the gnome-3-16 branch.