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...?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
@kjt btw. where did you find the sources? they are not in our svn as far as i can see.
@Mike do you maintain them somewhere else? ..ede
On 10.06.2020 11:27, kjt via Jump-pilot-devel wrote:
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...?
Status: open Labels: beanshell beanshell script editor bsheditor4jump properties Created: Wed Jun 10, 2020 08:08 AM UTC by kjt Last Updated: Wed Jun 10, 2020 08:55 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...?
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. (But I think it must be modify the source for this solution also, but it be better solution than the font set directly in source.)
Last edit: János Tamás Kis 2020-06-10
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
let's wait for Michael (Mike) Michaud to provide the sources and we will see. maybe we can turn it into a setting or there is a simple way to switch it via some scripting, we'll see. please be patient.
thanks.. ede
On 10.06.2020 13:15, kjt wrote:
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.
Status: open Labels: beanshell beanshell script editor bsheditor4jump properties Created: Wed Jun 10, 2020 08:08 AM UTC by kjt Last Updated: Wed Jun 10, 2020 09:27 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...?
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 ?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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
Last edit: János Tamás Kis 2020-06-10
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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 at reading the code to tell where the font is either set or perhaps leaved as default.
Last edit: Jukka Rahkonen 2020-06-10
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...?
@kjt btw. where did you find the sources? they are not in our svn as far as i can see.
@Mike do you maintain them somewhere else? ..ede
On 10.06.2020 11:27, kjt via Jump-pilot-devel wrote:
Related
Support Requests: #7
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. (But I think it must be modify the source for this solution also, but it be better solution than the font set directly in source.)
Last edit: János Tamás Kis 2020-06-10
let's wait for Michael (Mike) Michaud to provide the sources and we will see. maybe we can turn it into a setting or there is a simple way to switch it via some scripting, we'll see. please be patient.
thanks.. ede
On 10.06.2020 13:15, kjt wrote:
Related
Support Requests: #7
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 ?
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:
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
Last edit: János Tamás Kis 2020-06-10
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).
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).