Translated using Weblate (Portuguese (Brazil))

Currently translated at 100.0% (1810 of 1810 strings)
Translated using Weblate (Portuguese (Portugal))

Currently translated at 100.0% (1810 of 1810 strings)
Scripting API: node.style.numberingEnabled, node shifts, node.minimalDistanceBetweenChildren
Translated using Weblate (Japanese)

Currently translated at 99.9% (1809 of 1810 strings)
Merge remote-tracking branch 'origin/1.3.x' into 1.3.x
Translated using Weblate (French)

Currently translated at 99.2% (1796 of 1810 strings)
Translated using Weblate (Spanish)

Currently translated at 98.0% (1775 of 1810 strings)
Translated using Weblate (Spanish)

Currently translated at 98.1% (1777 of 1810 strings)

DPI: Dots per Inch se podría traducir en puntos por pulgada
repaint map view if text editing is canceled
Translated using Weblate (Spanish)

Currently translated at 99.5% (1802 of 1810 strings)
Merge remote-tracking branch 'origin/1.3.x' into 1.3.x
update deployJava.js and include source
Merge remote-tracking branch 'origin/1.3.x' into 1.3.x
update deployJava.js and include source
ant format-translation after pull from weblate
Merge branch '1.3.x' (merge weblate from 1.3.x)
1.3.8
Translated using Weblate (Japanese)

Currently translated at 100.0% (1810 of 1810 strings)
#2126:
 - ensure that no exception occurs on node.details and node.note
 - implement both, details and note by new ConvertibleHtmlText
 - add new Proxy.Node.setDetailsText() for consistency (although
   setDetails(String) works the same
 - node.note.to.plain still returns the text after formula evaluation
Merge remote-tracking branch 'origin/1.3.x' into 1.3.x