From: Steve J. <ste...@wi...> - 2004-05-28 14:32:15
|
Rick, On Friday 28 May 2004 10:22, Rick Reumann wrote: > Slava Pestov wrote: > > I guess a) the API docs for userInput() are outdated b) there is no way. > > Is "b" in reference to not being able to insert the text indented? The next line of Slava's reply was: "I've fixed both in CVS; see Buffer.insertIndented()." I took that to mean that, although it was not possible in the current release, it is now possible using the version of jEdit that's in CVS. Unfortunately, I'm just waaaay too busy to check this right now. Hopefully next week I'll have a little time to snag it from CVS and do some testing. Steve Jakob |