> On Thu, Dec 4, 2008 at 6:37 AM, Richard S. Hall <[EMAIL PROTECTED]> wrote: >> Sure, it would be possible, but the issue is keeping shell.tui simple and >> not dependent upon new Java features. What is the license of jline? How big >> is it? If it were really small and didn't pose any issues, I wouldn't be >> against someone patching shell tui to use it. >> > > Maybe an addition to the faq with Patrick's suggestion would do? Happy > to draft up an item if anyone is interested.
Good idea :-) regards, Karl > Cheers....Steve > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > > -- Karl Pauls [EMAIL PROTECTED] --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
