Re: BeanShell
Dale Anson <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAHrA0wCuNO=D0hyZwV+cS5b=pM3m3skzhnd4S-DZUHpzYVeNTw@mail.gmail.com> |
Yes, there have been jEdit-specific modifications to the beanshell library used by jEdit. Are there new features in the latest version that would be useful? I don't know that it's worth the work to upgrade, but I don't know what the newer version provides that jEdit doesn't already have. Dale On Sat, Dec 23, 2017 at 11:42 AM, Alan Ezust <[email protected]> wrote: > If there are specific patches to Beanshell that we should apply, please > submit patches. > I think jEdit authors made lots of customizations to the beanshell > library, so it might be not so easy to use a later upstream version of > beanshell. > > > On Sat, Dec 23, 2017 at 8:35 AM, sigzero <[email protected]> wrote: > >> I imagine since jEdit uses BeanShell it should start including the latest >> version that addresses a CVE: >> >> https://github.com/beanshell/beanshell >> >> Or maybe it already does? >> >> -- >> Bob >> >> ------------------------------------------------------------ >> ------------------ >> Check out the vibrant tech community on one of the world's most >> engaging tech sites, Slashdot.org! http://sdm.link/slashdot >> -- >> ----------------------------------------------- >> jEdit Users' List >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/jedit-users >> >> > > ------------------------------------------------------------ > ------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > -- > ----------------------------------------------- > jEdit Users' List > [email protected] > https://lists.sourceforge.net/lists/listinfo/jedit-users > > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users