Fabio Zadrozny wrote:
Actually there is 1 method that does it (but it's the single one, so,
you may want to use one of IDocument if it's not what you want):
public void addLine(String contents, int afterLine)
Ah, ok. This does not do quite what I want. I want to replace the
current selection with some new text. Right now I am using something like:
selection = PySelection(editor)
selected_text = selection.getSelectedText()
offset = selection.getAbsoluteCursorOffset()
length = selection.getSelLength()
document = editor.getDocument()
new_text = "Did this make it in?" + "\nNew line"
document.replace(offset, length, new_text)
Don.
-------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
pydev-code mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pydev-code
