Hi Edward.
I also found this error. I'm using these versions of the tools:
Leo 4.11 devel, build 5821, 2013-07-03 02:53:38 -0500
Python 3.3.2, qt version 4.8.4
Windows 6, 1, 7601, 2, Service Pack 1
I replaced the line that gave the error:
preeditAreaLength = layout.preeditAreaText().length()
with:
preeditAreaLength = len(layout.preeditAreaText())
With that, Leo Editor opened successfully, but I saw on the console that it
raised the following exception:
Traceback (most recent call last):
File "D:\Jose\Archivos de programa\Leo\leo\core\qsyntaxhighlighter.py",
line 286, in _q_reformatBlocks
self._reformatBlocks(pos1,charsRemoved,charsAdded)
File "D:\Jose\Archivos de programa\Leo\leo\core\qsyntaxhighlighter.py",
line 302, in _reformatBlocks
self._boundedReformatBlocks(block,endPosition,forceHighlightOfNextBlock=False)
File "D:\Jose\Archivos de programa\Leo\leo\core\qsyntaxhighlighter.py",
line 309, in _boundedReformatBlocks
while block.isValid() and (block.position() < endPosition or
forceHighlightOfNextBlock):
TypeError: unorderable types: int() < QSizeF()
Regards,
José Manuel
El miércoles, 3 de julio de 2013 02:55:05 UTC+2, Edward K. Ream escribió:
>
> On Tue, Jul 2, 2013 at 7:41 PM, Edward K. Ream <[email protected]<javascript:>
> > wrote:
>
>
>> File
>> "C:\python33\Lib\site-packages\leo-editor\leo\core\qsyntaxhighlighter.py",
>> line 208, in _applyFormatChanges
>> preeditAreaLength = layout.preeditAreaText().length()
>> AttributeError: 'str' object has no attribute 'length'
>>
>
> This is a strange one. According to the docs, layout.preeditAreaText() is
> supposed to return a QString. Furthermore, there are no obvious calls that
> would set this text.
>
> 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.
