fast and furious Mike! nicely done.. sunny regards ede On 13.06.2020 15:03, michael michaud wrote: > János > > I pushed the source code to our plugin repository, and hopefully, fixed the > different points you mentionned. Please, try a new release from r6335. Note > that I've also upgradded the two dependencies without much testing (buoy for > the UI and beanshell for the language interpreter). > > ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ > > *[support-requests:#7] > <https://sourceforge.net/p/jump-pilot/support-requests/7/> BeanShell Script > Editor properties* > > *Status:* open > *Labels:* beanshell beanshell script editor bsheditor4jump properties > *Created:* Wed Jun 10, 2020 08:08 AM UTC by János Tamás Kis > *Last Updated:* Wed Jun 10, 2020 09:49 PM UTC > *Owner:* nobody > > I would like to change the font type and/or font size in the BeanShell Script > Editor. > How can I do it...? > > ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ > > Sent from sourceforge.net because you indicated interest in > https://sourceforge.net/p/jump-pilot/support-requests/7/ > > To unsubscribe from further messages, please visit > https://sourceforge.net/auth/subscriptions/ >
_______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
