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. Cheers....Steve --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
