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

[János Tamás Kis]

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

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

[Giuseppe Aruta via Jump-pilot-devel]

- **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 PM UTC
**Owner:** Giuseppe Aruta
**Attachments:**

- 
[mapcolorstrings_hu.properties](https://sourceforge.net/p/jump-pilot/feature-requests/268/attachment/mapcolorstrings_hu.properties)
 (347 Bytes; text/plain)


When I starting the Openjump, I got the next message always:
~~~
[ERROR] ... Can't find bundle for base name 
/org/freevoice/mapcoloring/mapcolorstrings, locale hu_HU
~~~
So I have prepared a "mapcolorstrings_hu.properties" file and I put into my 
ojmapcoloring-0.5.jar.
It works so it would by nice to add it to "official release".

*Important: the file must be have ISO8859-2 codepage*



---

Sent from sourceforge.net because jump-pilot-devel@lists.sourceforge.net is 
subscribed to https://sourceforge.net/p/jump-pilot/feature-requests/

To unsubscribe from further messages, a project admin can change settings at 
https://sourceforge.net/p/jump-pilot/admin/feature-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

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

[edgar . soldin]

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, michael michaud via Jump-pilot-devel wrote:
> 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 ?
> 
> --
> 
> *[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 11:15 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
> 


___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[Giuseppe Aruta via Jump-pilot-devel]

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] Translation of Map Coloring plugin to Hungarian**

**Status:** open
**Labels:** localisation ojmapcoloring 
**Created:** Wed Jun 10, 2020 07:31 AM UTC by kjt
**Last Updated:** Wed Jun 10, 2020 10:24 AM UTC
**Owner:** nobody
**Attachments:**

- 
[mapcolorstrings_hu.properties](https://sourceforge.net/p/jump-pilot/feature-requests/268/attachment/mapcolorstrings_hu.properties)
 (347 Bytes; text/plain)


When I starting the Openjump, I got the next message always:
~~~
[ERROR] ... Can't find bundle for base name 
/org/freevoice/mapcoloring/mapcolorstrings, locale hu_HU
~~~
So I have prepared a "mapcolorstrings_hu.properties" file and I put into my 
ojmapcoloring-0.5.jar.
It works so it would by nice to add it to "official release".

*Important: the file must be have ISO8859-2 codepage*



---

Sent from sourceforge.net because jump-pilot-devel@lists.sourceforge.net is 
subscribed to https://sourceforge.net/p/jump-pilot/feature-requests/

To unsubscribe from further messages, a project admin can change settings at 
https://sourceforge.net/p/jump-pilot/admin/feature-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

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

[michael michaud via Jump-pilot-devel]

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 ?  


---

** [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 11:15 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

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

[jump-pilot-svn--- via Jump-pilot-devel]

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_VertexSymbols/ChangeLog

Added: plug-ins/CadPlan_VertexSymbols/ChangeLog
===
--- plug-ins/CadPlan_VertexSymbols/ChangeLog(rev 0)
+++ plug-ins/CadPlan_VertexSymbols/ChangeLog2020-06-10 11:36:40 UTC (rev 
6322)
@@ -0,0 +1,5 @@
+2020-06-10 Giuseppe Aruta
+   a) WKTVertexPanel - Enlarged WKT panel size
+   b) VertexColorThemingPanel - simplified  code
+   c) VertexSymbolsClassificationDialog - rotation and size wer
+  not updated
\ No newline at end of file



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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/src/plugins/VertexSymbolsClassificationDialog.java

Modified: 
plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/VertexSymbolsClassificationDialog.java
===
--- 
plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/VertexSymbolsClassificationDialog.java
 2020-06-10 11:33:07 UTC (rev 6320)
+++ 
plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/VertexSymbolsClassificationDialog.java
 2020-06-10 11:35:00 UTC (rev 6321)
@@ -25,7 +25,6 @@
 import com.cadplan.jump.language.I18NPlug;
 import com.cadplan.jump.plugins.panel.ColorPanel;
 import com.cadplan.jump.plugins.panel.VertexSymbologyPanel;
-import com.cadplan.jump.utils.DataWrapper;
 import com.cadplan.jump.utils.VertexParams;
 import com.cadplan.vertices.renderer.style.ExternalSymbolsImplType;
 import com.vividsolutions.jump.I18N;
@@ -69,7 +68,6 @@
public JFormattedTextField distanceField;
public JFormattedTextField offsetField;
 
-
private int distance;
 
private double offset ;
@@ -90,6 +88,7 @@
this.distance = distance;
this.offset= offset;
this.rotate=rotate;
+
this.init();
}
 
@@ -105,7 +104,6 @@
this.attribLabel = new 
JLabel(I18N.get("ui.renderer.style.ColorThemingTableModel.attribute-value") + 
": ");
this.styleField = new JTextField();
this.styleField.setMinimumSize(new Dimension(75, 20));
-   //  this.styleField.setPreferredSize(new Dimension(180, 
20));
this.styleField.setText(this.name);
this.styleField.setEditable(false);
this.attribField = new JTextField();
@@ -264,20 +262,11 @@
 
@Override
public void actionPerformed(ActionEvent ev) {
-   Integer dimension =  
((Number)this.sizeField.getValue()).intValue();//this.colorPanel.getDimension();
-   Integer distance = 
((Number)this.distanceField.getValue()).intValue();
-   double offset = ((Number) 
this.offsetField.getValue()).doubleValue();
-   boolean rotate = this.rotationCB.isSelected();
if (this.wasOKPressed()) {
-   VertexParams.getClassificationMap().replace(this.value, 
-   new DataWrapper(this.getSymbolName(),
-   dimension, 
-   distance,
-   offset,rotate));
Map attributeValueToBasicStyleMap = 
VertexParams.classificationStyle.getAttributeValueToBasicStyleMap();
BasicStyle style = 
attributeValueToBasicStyleMap.get(this.value);
-   style.setLineColor(this.colorPanel.getLineColor());
-   style.setFillColor(this.colorPanel.getFillColor());
+   style.setLineColor(colorPanel.getLineColor());
+   style.setFillColor(colorPanel.getFillColor());
this.removeJRadioButtonSelection();
this.dispose();
} else {
@@ -285,8 +274,8 @@
this.dispose();
}
 
-   this.layer.fireAppearanceChanged();
-   this.layer.setFeatureCollectionModified(true);
+   layer.fireAppearanceChanged();
+   layer.setFeatureCollectionModified(true);
}
 
public void removeJRadioButtonSelection() {
@@ -294,25 +283,24 @@
for(b = 0; b < 
this.symbologyPanel.vectorPanel.symbolPanel.vertexRB.length; ++b) {

this.symbologyPanel.vectorPanel.symbolPanel.vertexRB[b].setSelected(false);
}
-
for(b = 0; b < 
this.symbologyPanel.imagePanel.getImageRB().length; ++b) {

this.symbologyPanel.imagePanel.getImageRB()[b].setSelected(false);
}
-
for(b = 0; b < 
this.symbologyPanel.wktPanel.getImageRB().length; ++b) {

this.symbologyPanel.wktPanel.getImageRB()[b].setSelected(false);
}
-
}
 
-   public ExternalSymbolsImplType getSymbol() {
+   public ExternalSymbolsImplType getLegendSymbol() {
ExternalSymbolsImplType newStyle = new 
ExternalSymbolsImplType();
newStyle.setSymbolName(this.getSymbolName());
-   newStyle.setShowFill(true);
-   newStyle.setShowLine(true);
+   newStyle.setShowFill(VertexParams.showFill);
+   newStyle.setShowLine(VertexPara

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

[jump-pilot-svn--- via Jump-pilot-devel]

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/VertexColorThemingPanel.java

Modified: 
plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/panel/VertexColorThemingPanel.java
===
--- 
plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/panel/VertexColorThemingPanel.java
 2020-06-10 11:31:19 UTC (rev 6319)
+++ 
plug-ins/CadPlan_VertexSymbols/trunk/src/plugins/panel/VertexColorThemingPanel.java
 2020-06-10 11:33:07 UTC (rev 6320)
@@ -72,7 +72,7 @@
 import com.vividsolutions.jump.workbench.ui.renderer.style.ColorThemingStyle;
 import com.vividsolutions.jump.workbench.ui.task.TaskMonitorManager;
 
-public class VertexColorThemingPanel extends JPanel implements PropertyPanel {
+public class VertexColorThemingPanel2 extends JPanel implements PropertyPanel {
private static final long serialVersionUID = 1L;
public JPanel upperPane;
//private JScrollPane scrollPane = new JScrollPane();
@@ -80,18 +80,18 @@
private Map map = new LinkedHashMap();
public JPanel mainPanel = new JPanel();
String otherValues = 
I18N.get("ui.renderer.style.DiscreteColorThemingState.all-other-values");
+   int size=1;
 
 
-
public JScrollPane getScrollPane() {
return this.scrollPane0;
}
 
public Map getMap() {
-   return this.map;
+   return map;
}
 
-   public void getStyle() {
+   public void generateMapOfStyles() {
Layer layer = VertexParams.selectedLayer;
VertexStyler symbols = new VertexStyler();
symbols.setLayer(layer);
@@ -108,8 +108,8 @@
it = keys.iterator();
while(it.hasNext()) {
key = it.next();
-   this.map.put(key, new 
DataWrapper(VertexParams.symbolName, 
-   VertexParams.size, 
+   map.put(key, new 
DataWrapper(VertexParams.symbolName, 
+   size, 
VertexParams.distance,
VertexParams.offset, 
VertexParams.rotate));
@@ -128,17 +128,17 @@
 
key = it.next();
if 
(VertexParams.getClassificationMap().containsKey(key)) {
-   
this.map.put(key, VertexParams.getClassificationMap().get(key));
+   map.put(key, 
VertexParams.getClassificationMap().get(key));
} else if 
(!key.isEmpty() && !key.equals("") && key != null) {
-   
this.map.put(key, new DataWrapper(VertexParams.symbolName, 
-   
VertexParams.size, 
+   map.put(key, 
new DataWrapper(VertexParams.symbolName, 
+   
size, 

VertexParams.distance,

VertexParams.offset, 

VertexParams.rotate));
} else {
-   
this.map.put(this.otherValues, 
+   
map.put(this.otherValues, 

new DataWrapper(VertexParams.symbolName, 
-   
VertexParams.size, 
+   
size, 

VertexParams.distance,

VertexParams.offset, 

VertexParams.rotate));
@@ -152,8 +152,8 @@
 
while(it.hasNext()) {

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

[jump-pilot-svn--- via Jump-pilot-devel]

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

Modified: plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java
===
--- plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java 
2020-06-10 11:14:23 UTC (rev 6318)
+++ plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java 
2020-06-10 11:31:19 UTC (rev 6319)
@@ -39,11 +39,9 @@
public WKTVertexPanel(String imageName, Color lineColor, Color 
fillColor) {
this.setBackground(new Color(0, 0, 0, 0));
this.setBorder(BorderFactory.createEmptyBorder());
-   /*  this.setMaximumSize(new Dimension(80, 50));
-   this.setMinimumSize(new Dimension(80, 50));
-   this.setPreferredSize(new Dimension(80, 50));*/
-   this.setPreferredSize(new Dimension(40, 40));
-   this.setMaximumSize(new Dimension(40, 40));
+
+   this.setPreferredSize(new Dimension(50, 50));
+   this.setMaximumSize(new Dimension(50, 50));
this.dummyLayerViewPanel = new LayerViewPanel(new 
LayerManager(), new LayerViewPanelContext() {
@Override
public void setStatusMessage(String message) {
@@ -62,7 +60,7 @@
 
@Override
public Envelope getEnvelopeInModelCoordinates() {
-   return new Envelope(0.0D, 80.0D, 0.0D, 50.0D);
+   return new Envelope(0.0D, 50.0D, 0.0D, 50.0D);
}
 
@Override
@@ -96,10 +94,8 @@
 
private void paint(VertexStyle symbol, Graphics2D g) {
Stroke originalStroke = g.getStroke();
-   //  this.setPreferredSize(new Dimension(80, 50));
-   //  this.setMaximumSize(new Dimension(80, 50));
-   this.setPreferredSize(new Dimension(40, 40));
-   this.setMaximumSize(new Dimension(40, 40));
+   //  this.setPreferredSize(new Dimension(40, 40));
+   //  this.setMaximumSize(new Dimension(40, 40));
try {
((WKTVertexStyle)symbol).paint(this.pointFeature(), g, 
this.viewport);
} catch (Exception e) {
@@ -122,8 +118,7 @@
 
private Feature pointFeature() {
try {
-   //Feature feat = FeatureUtil.toFeature((new 
WKTReader()).read("POINT (40 25)"), new FeatureSchema() {
-   Feature feat = FeatureUtil.toFeature((new 
WKTReader()).read("POINT (20 20)"), new FeatureSchema() {
+   Feature feat = FeatureUtil.toFeature((new 
WKTReader()).read("POINT (25 25)"), new FeatureSchema() {
private static final long serialVersionUID = 
-8627306219650589202L;
 
{
@@ -131,7 +126,7 @@
}
});
return feat;
-   } catch (ParseException var2) {
+   } catch (ParseException ex) {
Assert.shouldNeverReachHere();
return null;
}



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[ede via Jump-pilot-devel]

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.
> 
> --
> 
> *[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 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...?
> 
> --
> 
> Sent from sourceforge.net because you indicated interest in 
> https://sourceforge.net/p/jump-pilot/support-requests/7/
> 
> To unsubscribe from further messages, please visit 
> https://sourceforge.net/auth/subscriptions/
> 




---

** [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 11:15 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

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

[Giuseppe Aruta]

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 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 edit it and send it back in. we will do the rest.
> hint: every entry starting with '#T:' is currently untranslated ;)
>
> thanks!.. ede
> --
>
> * [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 kjt
> *Last Updated:* Wed Jun 10, 2020 07:31 AM UTC
> *Owner:* nobody
> *Attachments:*
>
>- mapcolorstrings_hu.properties
>
> 
>(347 Bytes; text/plain)
>
> When I starting the Openjump, I got the next message always:
>
> [ERROR] ... Can't find bundle for base name 
> /org/freevoice/mapcoloring/mapcolorstrings, locale hu_HU
>
> So I have prepared a "mapcolorstrings_hu.properties" file and I put into
> my ojmapcoloring-0.5.jar.
> It works so it would by nice to add it to "official release".
>
> *Important: the file must be have ISO8859-2 codepage*
> --
>
> Sent from sourceforge.net because jump-pilot-devel@lists.sourceforge.net
> is subscribed to https://sourceforge.net/p/jump-pilot/feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jump-pilot/admin/feature-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
>
___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[kjt via Jump-pilot-devel]

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.


---

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



---

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

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

[jump-pilot-svn--- via Jump-pilot-devel]

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
===
--- core/trunk/ChangeLog2020-06-10 11:13:41 UTC (rev 6317)
+++ core/trunk/ChangeLog2020-06-10 11:14:23 UTC (rev 6318)
@@ -4,8 +4,12 @@
 # 3. be concise but convey the change in a way that ordinary users understand
 #< 80 chars 
-->#
 
+2020-06-10 Giuseppe Aruta
+  * PLUS upgrade ojmapcoloring, added Hungarian translation
+(thanks to János Kis)
+
 2020-06-08 Giuseppe Aruta
-   Apdated JumpPrintee plugin to version 1.90:
+   Apdated JumpPrinter plugin to version 1.90:
Added a valid plugin to export the view to several file formats (Raster, 
SVG, PDF). Export view to scale: style elements will be resized according
to the selected scale. This plugin substitutes SaveViewAsRaster and 



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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/trunk/lib/plus/ojmapcoloring-0.5.2.jar
===
(Binary files differ)

Index: core/trunk/lib/plus/ojmapcoloring-0.5.2.jar
===
--- core/trunk/lib/plus/ojmapcoloring-0.5.2.jar 2020-06-10 11:10:44 UTC (rev 
6316)
+++ core/trunk/lib/plus/ojmapcoloring-0.5.2.jar 2020-06-10 11:13:41 UTC (rev 
6317)

Property changes on: core/trunk/lib/plus/ojmapcoloring-0.5.2.jar
___
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property


___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip
===
(Binary files differ)

Index: plug-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip
===
--- plug-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip 2020-06-10 11:07:20 UTC 
(rev 6315)
+++ plug-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip 2020-06-10 11:10:44 UTC 
(rev 6316)

Property changes on: plug-ins/ojmapcoloring/dist/ojmapcoloring-0.5.2.zip
___
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property


___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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
===
--- plug-ins/ojmapcoloring/readme.txt   2020-06-10 11:04:49 UTC (rev 6313)
+++ plug-ins/ojmapcoloring/readme.txt   2020-06-10 11:06:55 UTC (rev 6314)
@@ -7,10 +7,10 @@
 Release Notes
 =
 
-Release 0.6
+Release 0.5.1/0.5.2
 -
 
-Added Hungarian translation by János Kis
+Upgraded languages filas. Added Hungarian translation by János Kis
 
 Release 0.5
 -



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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
===
--- plug-ins/ojmapcoloring/readme.txt   2020-06-10 11:06:55 UTC (rev 6314)
+++ plug-ins/ojmapcoloring/readme.txt   2020-06-10 11:07:20 UTC (rev 6315)
@@ -10,7 +10,7 @@
 Release 0.5.1/0.5.2
 -
 
-Upgraded languages filas. Added Hungarian translation by János Kis
+Upgraded languages files. Added Hungarian translation by János Kis
 
 Release 0.5
 -



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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/mapcoloring/FiveColorExtension.java

Modified: 
plug-ins/ojmapcoloring/src/main/java/org/freevoice/mapcoloring/FiveColorExtension.java
===
--- 
plug-ins/ojmapcoloring/src/main/java/org/freevoice/mapcoloring/FiveColorExtension.java
  2020-06-10 10:53:21 UTC (rev 6312)
+++ 
plug-ins/ojmapcoloring/src/main/java/org/freevoice/mapcoloring/FiveColorExtension.java
  2020-06-10 11:04:49 UTC (rev 6313)
@@ -1,28 +1,29 @@
 /*
-* 
-*  The JUMP DB Query Plugin is Copyright (C) 2007  Larry Reeder
-*  JUMP is Copyright (C) 2003 Vivid Solutions
-* 
-*  This file is part of the JUMP DB Query Plugin.
-*  
-*  The JUMP DB Query Plugin is free software; you can redistribute it and/or 
-*  modify it under the terms of the Lesser GNU General Public License as 
-*  published *  by the Free Software Foundation; either version 3 of the 
-*  License, or  (at your option) any later version.
-*  
-*  This software is distributed in the hope that it will be useful,
-*  but WITHOUT ANY WARRANTY; without even the implied warranty of
-*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-*  Lesser GNU General Public License for more details.
-*  
-*  You should have received a copy of the GNU General Public License
-*  along with this program.  If not, see .
-*/
+ * 
+ *  The JUMP DB Query Plugin is Copyright (C) 2007  Larry Reeder
+ *  JUMP is Copyright (C) 2003 Vivid Solutions
+ * 
+ *  This file is part of the JUMP DB Query Plugin.
+ *  
+ *  The JUMP DB Query Plugin is free software; you can redistribute it and/or 
+ *  modify it under the terms of the Lesser GNU General Public License as 
+ *  published *  by the Free Software Foundation; either version 3 of the 
+ *  License, or  (at your option) any later version.
+ *  
+ *  This software is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  Lesser GNU General Public License for more details.
+ *  
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program.  If not, see .
+ */
 package org.freevoice.mapcoloring;
 
-import com.vividsolutions.jump.workbench.plugin.Extension;
 import com.vividsolutions.jump.workbench.plugin.PlugInContext;
 
+import sun.security.x509.Extension;
+
 /**
  * OJ extension class for map coloring plugin
  */
@@ -29,8 +30,17 @@
 public class FiveColorExtension extends Extension
 {
 
-public void configure(PlugInContext context) throws Exception
-{
-new FiveColorPlugin().initialize(context);
-}
+   public void configure(PlugInContext context) throws Exception
+   {
+   new FiveColorPlugin().initialize(context);
+   }
+   @Override
+   public String getVersion() {
+   return "0.5.2 (2020-06-10)";
+   }
+
+   @Override
+   public String getName() {
+   return "Map Coloring (Five color theorem - 
https://en.wikipedia.org/wiki/Five_color_theorem)";
+   }
 }



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[Giuseppe Aruta]

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 changes i
> functionality.
>
> maybe you want to do the same.. ede
>
> On 10.06.2020 12:53, jump-pilot-svn--- via Jump-pilot-devel wrote:
> > 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.txt
> > ===
> > --- plug-ins/ojmapcoloring/readme.txt 2020-06-10 10:51:12 UTC (rev 6311)
> > +++ plug-ins/ojmapcoloring/readme.txt 2020-06-10 10:53:21 UTC (rev 6312)
> > @@ -7,6 +7,11 @@
> >  Release Notes
> >  =
> >
> > +Release 0.6
> > +-
> > +
> > +Added Hungarian translation by János Kis
> > +
> >  Release 0.5
> >  -
> >
> >
> >
> >
> > ___
> > Jump-pilot-devel mailing list
> > Jump-pilot-devel@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
> >
>
>
>
> ___
> Jump-pilot-devel mailing list
> Jump-pilot-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
>
___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[edgar . soldin]

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-pilot-devel wrote:
> 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.txt
> ===
> --- plug-ins/ojmapcoloring/readme.txt 2020-06-10 10:51:12 UTC (rev 6311)
> +++ plug-ins/ojmapcoloring/readme.txt 2020-06-10 10:53:21 UTC (rev 6312)
> @@ -7,6 +7,11 @@
>  Release Notes
>  =
>
> +Release 0.6
> +-
> +
> +Added Hungarian translation by János Kis
> +
>  Release 0.5
>  -
>
>
>
>
> ___
> Jump-pilot-devel mailing list
> Jump-pilot-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
>



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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.txt
===
--- plug-ins/ojmapcoloring/readme.txt   2020-06-10 10:51:12 UTC (rev 6311)
+++ plug-ins/ojmapcoloring/readme.txt   2020-06-10 10:53:21 UTC (rev 6312)
@@ -7,6 +7,11 @@
 Release Notes
 =
 
+Release 0.6
+-
+
+Added Hungarian translation by János Kis
+
 Release 0.5
 -
 



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[jump-pilot-svn--- via Jump-pilot-devel]

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/ojmapcoloring/CONTRIBUTORS.txt
===
--- plug-ins/ojmapcoloring/CONTRIBUTORS.txt 2020-06-10 10:15:31 UTC (rev 
6310)
+++ plug-ins/ojmapcoloring/CONTRIBUTORS.txt 2020-06-10 10:51:12 UTC (rev 
6311)
@@ -9,4 +9,5 @@
 Giuseppe Aruta - Italian and Spanish
 Jukka Rahkonen - Finnish
 Michaël Michaud - French
+János Kis . Hungarian
 



___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[ede via Jump-pilot-devel]

@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...?
> 
> --
> 
> *[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: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...?
> 
> --
> 
> 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
> 




---

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



---

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

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

[ede via Jump-pilot-devel]

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 edit it and send it back in. we will do the rest.
hint: every entry starting with '#T:' is currently untranslated ;)

thanks!.. ede


---

** [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 kjt
**Last Updated:** Wed Jun 10, 2020 07:31 AM UTC
**Owner:** nobody
**Attachments:**

- 
[mapcolorstrings_hu.properties](https://sourceforge.net/p/jump-pilot/feature-requests/268/attachment/mapcolorstrings_hu.properties)
 (347 Bytes; text/plain)


When I starting the Openjump, I got the next message always:
~~~
[ERROR] ... Can't find bundle for base name 
/org/freevoice/mapcoloring/mapcolorstrings, locale hu_HU
~~~
So I have prepared a "mapcolorstrings_hu.properties" file and I put into my 
ojmapcoloring-0.5.jar.
It works so it would by nice to add it to "official release".

*Important: the file must be have ISO8859-2 codepage*



---

Sent from sourceforge.net because jump-pilot-devel@lists.sourceforge.net is 
subscribed to https://sourceforge.net/p/jump-pilot/feature-requests/

To unsubscribe from further messages, a project admin can change settings at 
https://sourceforge.net/p/jump-pilot/admin/feature-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

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

[jump-pilot-svn--- via Jump-pilot-devel]

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/freevoice/mapcoloring/mapcolorstrings_hu.properties

Added: 
plug-ins/ojmapcoloring/src/main/resources/org/freevoice/mapcoloring/mapcolorstrings_hu.properties
===
--- 
plug-ins/ojmapcoloring/src/main/resources/org/freevoice/mapcoloring/mapcolorstrings_hu.properties
   (rev 0)
+++ 
plug-ins/ojmapcoloring/src/main/resources/org/freevoice/mapcoloring/mapcolorstrings_hu.properties
   2020-06-10 10:15:31 UTC (rev 6310)
@@ -0,0 +1,9 @@
+mapcoloring.plugin.menu=T\xE9rk\xE9p sz\xEDnez\xE9s
+mapcoloring.cancel=M\xE9gsem
+mapcoloring.bufferquestion=Puffer
+#suffix added to old layer name to create new layer name
+mapcoloring.suffix=sz\xEDnes
+mapcoloring.buffer.tooltip=Puffer funkci\xF3i a szomsz\xE9dok 
ellen\xF5rz\xE9s\xE9re
+mapcoloring.selectlayer=V\xE1lasszon egy r\xE9teget
+mapcoloring.error=Hiba
+mapcoloring.run=Futtat\xE1s
\ No newline at end of file


Property changes on: 
plug-ins/ojmapcoloring/src/main/resources/org/freevoice/mapcoloring/mapcolorstrings_hu.properties
___
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property


___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[edgar . soldin]

@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...?
> 
> --
> 
> *[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: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...?
> 
> --
> 
> 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
> 


___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[Giuseppe Aruta]

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]
>  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:*
>
>- mapcolorstrings_hu.properties
>
> 
>(347 Bytes; text/plain)
>
> When I starting the Openjump, I got the next message always:
>
> [ERROR] ... Can't find bundle for base name 
> /org/freevoice/mapcoloring/mapcolorstrings, locale hu_HU
>
> So I have prepared a "mapcolorstrings_hu.properties" file and I put into
> my ojmapcoloring-0.5.jar.
> It works so it would by nice to add it to "official release".
>
> *Important: the file must be have ISO8859-2 codepage*
> --
>
> Sent from sourceforge.net because jump-pilot-devel@lists.sourceforge.net
> is subscribed to https://sourceforge.net/p/jump-pilot/feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jump-pilot/admin/feature-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
>
___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[edgar . soldin]

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 Font("Monospaced", 0, 12));|
> Can I modify anyway...?
> 
> --
> 
> *[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: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...?
> 
> --
> 
> 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
> 


___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

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

[kjt via Jump-pilot-devel]

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:** 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...?



---

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

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

[Jukka Rahkonen via Jump-pilot-devel]

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.


---

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

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

[kjt via Jump-pilot-devel]

---

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

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

[János Kis via Jump-pilot-devel]

---

** [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:**

- 
[mapcolorstrings_hu.properties](https://sourceforge.net/p/jump-pilot/feature-requests/268/attachment/mapcolorstrings_hu.properties)
 (347 Bytes; text/plain)


When I starting the Openjump, I got the next message always:
~~~
[ERROR] ... Can't find bundle for base name 
/org/freevoice/mapcoloring/mapcolorstrings, locale hu_HU
~~~
So I have prepared a "mapcolorstrings_hu.properties" file and I put into my 
ojmapcoloring-0.5.jar.
It works so it would by nice to add it to "official release".

*Important: the file must be have ISO8859-2 codepage*



---

Sent from sourceforge.net because jump-pilot-devel@lists.sourceforge.net is 
subscribed to https://sourceforge.net/p/jump-pilot/feature-requests/

To unsubscribe from further messages, a project admin can change settings at 
https://sourceforge.net/p/jump-pilot/admin/feature-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