> On Mon, Nov 4, 2013 at 2:38 PM, Ville M. Vainio <[email protected]>wrote:
>
>> Same problem - Option + 2 gives you "calltips on/off", instead of "@"
>> character you get in other programs.
>>
>
Just found another suspect: insertKeyEvent in qtGui.py. Added with all the
other "important" key changes: rev 6107.
It's coming back to me now. There is an "impossible choice" that presently
gets made at compile time:
if qw and isinstance(qw,QtGui.QTextEdit):
g.trace(i,qevent.modifiers(),g.u(qevent.text()))
if 1:
# Assume that qevent.text() *is* the desired text.
# This means we don't have to hack eventFilter.
qw.insertPlainText(qevent.text())
else:
# Make no such assumption.
# We would like to use qevent to insert the character,
# but this would invoke eventFilter again!
# So set this flag for eventFiler, which will
# return False, indicating that the widget must handle
# qevent, which *presumably* is the best that can be done.
g.app.gui.insert_char_flag = True
Please try setting "if 1" to "if 0" and report what happens. Thanks.
If that fixes the problem we'll change "if 1" to "if sys.platform !=
'darwin'"
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
