Recent changes to support-requests

#7 BeanShell Script Editor properties

János Tamás Kis — Mon, 29 Jun 2020 12:50:45 -0000

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).

#7 BeanShell Script Editor properties

michael michaud — Sat, 13 Jun 2020 13:03:08 -0000

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).

#7 BeanShell Script Editor properties

János Tamás Kis — Wed, 10 Jun 2020 21:49:50 -0000

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:

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.

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.
I missing a 'Clear Output' button on the 'Go!' button away from. Uncomfortable to drag the mouse far...
ShortCut keys are missing (or I can't find them ...?)
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

#7 BeanShell Script Editor properties

michael michaud — Wed, 10 Jun 2020 11:58:50 -0000

Thanks for the suggestion,
The beanshell editor is a very old plugin. The text editor is taken from an even older version of JEdit, a very nice text editor, quite popular at this time. Unfortunately, I never committed the source, but I still have it. I'll check if I can make the police more accessible (not sure i18n.properties is the good place for that though). Just to understand. What is the problem with the police it uses right now ?

#7 BeanShell Script Editor properties

kjt — Wed, 10 Jun 2020 11:15:40 -0000

I don't have the source of the BeanShell Script Editor unfortunately, otherwise I would have tried to do something... Maybe... Unfortunately I am newbie in Java so I cannot know what I can do and what I cannot.
I has opened the "c:\OpenJUMP-20200126-r6224-PLUS\lib\ext\bsheditor4jump-0.2.4.jar" file in the JD-GUI only and I found the trace of my problem.

It would be a good idea to specify the font type and size in the "BeanShellEditor_i18n.properties" file and not to change the source.

#7 BeanShell Script Editor properties

kjt — Wed, 10 Jun 2020 09:27:48 -0000

In my oppinion the Font has been defined at BeanShellEditor.class in the fr.michaelm.bsheditor package:
437. row: this.outputTextArea.setFont(new Font("Monospaced", 0, 12));
Can I modify anyway...?

#7 BeanShell Script Editor properties

Jukka Rahkonen — Wed, 10 Jun 2020 08:55:15 -0000

The source code it probably here https://sourceforge.net/p/jump-pilot/code/HEAD/tree/core/trunk/src/com/vividsolutions/jump/workbench/ui/plugin/BeanShellPlugIn.java but I am not good enough att reading the code to tell where the font is either set or perhaps leaved as default.

BeanShell Script Editor properties

kjt — Wed, 10 Jun 2020 08:08:33 -0000

I would like to change the font type and/or font size in the BeanShell Script Editor.
How can I do it...?

test

ede — Tue, 07 Feb 2017 10:38:08 -0000

please ignore

#5 NetBeans IDE 8.0 Subversion Install Fails

John L. Poole — Wed, 18 May 2016 15:54:09 -0000

I was able to get the project imported inot NetBeans 8. (I had to create a JAVA variable JAVA_TOOL_OPTIONS=-Djava.net.preferIPv4Stack=true
to overcome a problem I have experienced with Java and Windows7 and IPV6.)

So now I'm able to build the project and start tinkering with the " resolution of the decimator" referenced in Java2DConverter.