Thanks the support! :)
I use the BeanShell Editor (BSE) often cuz I can't solve my mission in any
other way *(or I can't find a different and nice way)*
There are some issues with the BSE:
1. When it starting, then drops some warnings to console:
~~~
[WARN] There is no translation for the
'fr.michaelm.jump.bsheditor.BeanShellEditorPlugIn' key in the 'language / jump'
batch.
[WARN] Resource not found for java.util.PropertyResourceBundle,
fr.michaelm.jump.bsheditor.BeanShellEditorPlug No default value, use resource
key: BeanShellEditorPlugIn
~~~
I see these aren't a critical issue, but it isn't too nice.
2. When I select "Save As ..." and I click the 'Cancel' button then it throw a
'`java.lang.NullPointerException`'. It isn't critical also, but isn't nice.
3. I missing a 'Clear Output' button on the 'Go!' button away from.
Uncomfortable to drag the mouse far...
4. ShortCut keys are missing (or I can't find them ...?)
5. The font type and size aren't comfortable *(unnecessarily too big)* for me.
When I use / develop a script *(particularly on a small screen)*, I need to see
more lines from the script. I guess the possibility of change makes the BSE
more comfortable.
If the BSE take into consideration the settings in
'BeanShellEditor_i18n.properties' it is enough for me but probably exists some
better solution.
Regards,
János
---
** [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 11:58 AM 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 jump-pilot-devel@lists.sourceforge.net is
subscribed to https://sourceforge.net/p/jump-pilot/support-requests/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/jump-pilot/admin/support-requests/options. Or, if
this is a mailing list, you can unsubscribe from the mailing list.
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
