Hi,
At first time, I must say Thank You Very Much the support for this forgotten(?)
extension!
(I hope I am not The One user who use it...)
I didn't find any error that could have been caused by your great works.
I know, the BSE will never be a full-featured IDE, but maybe "we" can develop a
bit yet (for example integrate the newer jEdit application or similar...)
And... I have some ask/suggestion yet:
- Could be filtered the files in the "Scripts folder"? (If there is too much
foreign file, the find of a needed file isn't too easy)
- Monospace is not always readable as well in case of small font size (or is
there anyhing Antialiasing, Smoothing power...?)
- I miss the multiline horizontal TAB (now the TAB key deletes the rows and
doesn't align...)
- The Help/help and Help/Info don't work and I don't get error message. These
aren't big problem, but isn't nice. Could be better if the menuitems are
disabled...
- I get an "java.lang.NullPointerException" message to Output box if I click
"Cancel" at the File/Open menuitem.
- I see it is possible to schedule a script to run at BSE startup but could I
start it when starting OJ, opening a project, or could I timing the start of
script to any another operation?
- Can I start a script from other script or menuitem? (For example: i would
like make a new menu where can I add my scripts to ActionListeners of menuitem?)
- I miss the Hotkeys for Run and Clear Output buttons. Can I define these?
I belive the BSE could be more comfortabe on this way (not only for me).
---
** [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:** Sat Jun 13, 2020 01:03 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 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
