[JPP-Devel] [jump-pilot:support-requests] Re: #7 BeanShell Script Editor properties

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.

[JPP-Devel] [jump-pilot:feature-requests] #268 Translation of Map Coloring plugin to Hungarian

- **status**: open --> closed - **assigned_to**: Giuseppe Aruta --- ** [feature-requests:#268] Translation of Map Coloring plugin to Hungarian** **Status:** closed **Labels:** localisation ojmapcoloring **Created:** Wed Jun 10, 2020 07:31 AM UTC by kjt **Last Updated:** Wed Jun 10, 2020 12:06

Re: [JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

hey Mike, yeah please provide the sources at least as they match up the current extension we provide with PLUS. that helps in checking what's going on and actually we are obliged by the GPL to do so for everything we distribute under it. hope this finds you well ..ede On 10.06.2020 13:58, mich

[JPP-Devel] [jump-pilot:feature-requests] #268 Translation of Map Coloring plugin to Hungarian

Janos, your hungarian file has been uploaded into OpenJUMP dist and will be available on next build. If you are interested to translate OpenJUMP to Hungarian, as suggested by Ede, and need a help, fill free to write to the group list Bets regards Peppe --- ** [feature-requests:#268] Translatio

[JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

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 acce

[JPP-Devel] SVN: [6322] plug-ins/CadPlan_VertexSymbols/ChangeLog

Revision: 6322 http://sourceforge.net/p/jump-pilot/code/6322 Author: ma15569 Date: 2020-06-10 11:36:40 + (Wed, 10 Jun 2020) Log Message: --- Added a chengelog file to trace back modifications and corrections of bugs Added Paths: --- plug-ins/CadPlan_VertexSy

[JPP-Devel] SVN: [6321] plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/ VertexSymbolsClassificationDialog.java

Revision: 6321 http://sourceforge.net/p/jump-pilot/code/6321 Author: ma15569 Date: 2020-06-10 11:35:00 + (Wed, 10 Jun 2020) Log Message: --- Correct some bugs (rotation and size were not upgraded) Modified Paths: -- plug-ins/CadPlan_VertexSymbols/trunk/

[JPP-Devel] SVN: [6320] plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/panel/ VertexColorThemingPanel.java

Revision: 6320 http://sourceforge.net/p/jump-pilot/code/6320 Author: ma15569 Date: 2020-06-10 11:33:07 + (Wed, 10 Jun 2020) Log Message: --- Simplified code Modified Paths: -- plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/panel/VertexColorThemingPane

[JPP-Devel] SVN: [6319] plug-ins/CadPlan_VertexSymbols/trunk/src/ui/ WKTVertexPanel.java

Revision: 6319 http://sourceforge.net/p/jump-pilot/code/6319 Author: ma15569 Date: 2020-06-10 11:31:19 + (Wed, 10 Jun 2020) Log Message: --- Enlarged to 50x50 wkt panel size Modified Paths: -- plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.ja

[JPP-Devel] [jump-pilot:support-requests] Re: #7 BeanShell Script Editor properties

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 Scri

Re: [JPP-Devel] [jump-pilot:feature-requests] #268 Translation of Map Coloring plugin to Hungarian

Hi János, I updated OpenJUMP Night Snapshot with a new build of Map coloring plugin with Hungarian translation. It should be available from version 6317 Thanks again Peppe Il giorno mer 10 giu 2020 alle ore 12:24 ede via Jump-pilot-devel < jump-pilot-devel@lists.sourceforge.net> ha scritto: > hey

[JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

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"

[JPP-Devel] SVN: [6318] core/trunk/ChangeLog

Revision: 6318 http://sourceforge.net/p/jump-pilot/code/6318 Author: ma15569 Date: 2020-06-10 11:14:23 + (Wed, 10 Jun 2020) Log Message: --- Updated ChangeLog Modified Paths: -- core/trunk/ChangeLog Modified: core/trunk/ChangeLog ===

[JPP-Devel] SVN: [6317] core/trunk/lib/plus/ojmapcoloring-0.5.2.jar

Revision: 6317 http://sourceforge.net/p/jump-pilot/code/6317 Author: ma15569 Date: 2020-06-10 11:13:41 + (Wed, 10 Jun 2020) Log Message: --- Added new buid of ojmapcoloring.jar plugin Added Paths: --- core/trunk/lib/plus/ojmapcoloring-0.5.2.jar Added: core/

[JPP-Devel] SVN: [6316] plug-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip

Revision: 6316 http://sourceforge.net/p/jump-pilot/code/6316 Author: ma15569 Date: 2020-06-10 11:10:44 + (Wed, 10 Jun 2020) Log Message: --- added source code for version 0.52 Added Paths: --- plug-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip Added: plug-

[JPP-Devel] SVN: [6314] plug-ins/ojmapcoloring/readme.txt

Revision: 6314 http://sourceforge.net/p/jump-pilot/code/6314 Author: ma15569 Date: 2020-06-10 11:06:55 + (Wed, 10 Jun 2020) Log Message: --- Modified Paths: -- plug-ins/ojmapcoloring/readme.txt Modified: plug-ins/ojmapcoloring/readme.txt ==

[JPP-Devel] SVN: [6315] plug-ins/ojmapcoloring/readme.txt

Revision: 6315 http://sourceforge.net/p/jump-pilot/code/6315 Author: ma15569 Date: 2020-06-10 11:07:20 + (Wed, 10 Jun 2020) Log Message: --- correct typo Modified Paths: -- plug-ins/ojmapcoloring/readme.txt Modified: plug-ins/ojmapcoloring/readme.txt ==

[JPP-Devel] SVN: [6313] plug-ins/ojmapcoloring/src/main/java/org/freevoice/mapcoloring /FiveColorExtension.java

Revision: 6313 http://sourceforge.net/p/jump-pilot/code/6313 Author: ma15569 Date: 2020-06-10 11:04:49 + (Wed, 10 Jun 2020) Log Message: --- Added Extension verion number and name Modified Paths: -- plug-ins/ojmapcoloring/src/main/java/org/freevoice/map

Re: [JPP-Devel] SVN: [6312] plug-ins/ojmapcoloring/readme.txt

OK, that makes sense: I downgrade to 0.5.2. Il giorno mer 10 giu 2020 alle ore 13:02 ha scritto: > hey Peppe, > > just some days ago i added a language file to the ojmapcoloring dist jar > and put the sources in our repo. > > raised the version from 0.5 to 0.5.1 only because there were no chan

Re: [JPP-Devel] SVN: [6312] plug-ins/ojmapcoloring/readme.txt

hey Peppe, just some days ago i added a language file to the ojmapcoloring dist jar and put the sources in our repo. raised the version from 0.5 to 0.5.1 only because there were no changes i functionality. maybe you want to do the same.. ede On 10.06.2020 12:53, jump-pilot-svn--- via Jump-pil

[JPP-Devel] SVN: [6312] plug-ins/ojmapcoloring/readme.txt

Revision: 6312 http://sourceforge.net/p/jump-pilot/code/6312 Author: ma15569 Date: 2020-06-10 10:53:21 + (Wed, 10 Jun 2020) Log Message: --- Updated readme file Modified Paths: -- plug-ins/ojmapcoloring/readme.txt Modified: plug-ins/ojmapcoloring/readme

[JPP-Devel] SVN: [6311] plug-ins/ojmapcoloring/CONTRIBUTORS.txt

Revision: 6311 http://sourceforge.net/p/jump-pilot/code/6311 Author: ma15569 Date: 2020-06-10 10:51:12 + (Wed, 10 Jun 2020) Log Message: --- Updated Contributors file Modified Paths: -- plug-ins/ojmapcoloring/CONTRIBUTORS.txt Modified: plug-ins/ojmapcol

[JPP-Devel] [jump-pilot:support-requests] Re: #7 BeanShell Script Editor properties

@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

[JPP-Devel] [jump-pilot:feature-requests] #268 Translation of Map Coloring plugin to Hungarian

hey Janos, would you by any chance be willing to translate some more? the hungarian translation needs a lot of love and attention by now. if you are willing find the latest language file here https://sourceforge.net/p/jump-pilot/code/HEAD/tree/core/trunk/src/language/jump_hu.properties simply e

[JPP-Devel] SVN: [6310] plug-ins/ojmapcoloring/src/main/resources/org/freevoice/ mapcoloring/mapcolorstrings_hu.properties

Revision: 6310 http://sourceforge.net/p/jump-pilot/code/6310 Author: ma15569 Date: 2020-06-10 10:15:31 + (Wed, 10 Jun 2020) Log Message: --- Added new Hungarian translation, thanks to Janos Kis Added Paths: --- plug-ins/ojmapcoloring/src/main/resources/org/

Re: [JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

@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

Re: [JPP-Devel] [jump-pilot:feature-requests] #268 Translation of Map Coloring plugin to Hungarian

Thanks Jànos, I will upgrade sourcecode and plugin Peppe Il giorno mer 10 giu 2020 alle ore 09:31 János Kis via Jump-pilot-devel < jump-pilot-devel@lists.sourceforge.net> ha scritto: > -- > > * [feature-requests:#268] >

Re: [JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

just to be clear. you want to change during runtime, not recompile the extension? ..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 Fo

[JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

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...? --- ** [support-requests:#7] BeanShell Script Editor properties** **Status:** open **Labels:**

[JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

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. --- ** [suppo

[JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

--- ** [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 kjt **Last Updated:** Wed Jun 10, 2020 08:08 AM UTC **Owner:** nobody I would like to chan

[JPP-Devel] [jump-pilot:feature-requests] #268 Translation of Map Coloring plugin to Hungarian

--- ** [feature-requests:#268] Translation of Map Coloring plugin to Hungarian** **Status:** open **Labels:** localisation ojmapcoloring **Created:** Wed Jun 10, 2020 07:31 AM UTC by János Kis **Last Updated:** Wed Jun 10, 2020 07:31 AM UTC **Owner:** nobody **Attachments:** - [mapcolorstri