RE: [ jEdit-devel ] Suggested API change

[John G. <jge...@ny...>]

> On Mon, Jul 23, 2001 at 11:39:29AM -0400, John Gellene wrote:
> > For convenience in writing macros I would like to propose the
> addition of a
> > public method to JEditTextArea:
> >
> > 	public void userInput(String s)
> > 	{
> > 		char ar[] = s.toCharArray();
> > 		for(int i = 0; i < ar.length; ++i)
> > 			userInput(ar[i]);
> > 	}
>
> I think the current system of passing \n and \t to userInput() and the
> rest through setSelectedText() is good enough. Macros shouldn't rely
> too much on user-configurable aspects of the editor anyway.
>
> Slava
>

We can all survive either way, but your comment is precisely the reason why
the method would be convenient.  The method is not for the installation
macro set but for user macros.  It is an easy way for someone who has not
memorized the API Guide to ensure that user preferences are picked up on the
fly, just as if the user were typing the keys at the keyboard.  It's the
difference between typing

userInput("}\n\n}\n\n");

and six lines of macro code.  Think of all those grateful wrists!

John