Bug#256527: gtranslator: confuses "middle-dot" and "space"
characters when copy-pasting
VEROK Istvan
VEROK Istvan <vi@inf.bme.hu>, 256527@bugs.debian.org
Sun, 27 Jun 2004 19:11:52 +0200 (MET DST)
Package: gtranslator
Severity: normal
When the preference to mark spaces with middle-dot characters is active,
all attempts to paste text result in the spaces inide the pasted text
showing up as spaces, not middle-dots. Happens reliably no matter whether
the paste is initiated by a middle-click, Shift-Insert or Edit|Paste.
At first I thought this was because the insert_text_handler function in
gui.c inverts spaces and middle dots (the whole
if(GtrPreferences.dot_char) block), and that might be too much of a good
thing. Commenting that block out didn't fix the problem reliably,
however, and I haven't more time to debug this at the moment, so no patch
from me ATM, just a bug report.
Thanks,
Istvan