This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Campbell Barton d739a1788d small edits to text editor from writing a python editor extension. ...

- rename TextLine.line -> body, ConsoleLine.line -> body
- minor speedups when setting the body text, also re-allocate console lines if they are < half the length.
- added option to highlight current line in the text editor.

2010-08-11 05:21:43 +00:00

2.0 KiB

Raw Blame History

View Raw