Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add configuration option for default coderef charset #3195

merged 1 commit into from Jan 31, 2019


1 participant
Copy link

commented Jan 26, 2019

Fixes #2165

Documentation changes

Without configuration, the coderef processing defaults to platform default charset. The default for coderef can be changed by adding default.coderef-charset key to

default.coderef-charset = ISO-8859-1

The charset values are those supported by Java Charset class.

Signed-off-by: Jarno Elovirta

Add configuration option for default coderef charset
Fixes #2165

Signed-off-by: Jarno Elovirta <>

@jelovirt jelovirt added this to In progress in 3.3 via automation Jan 26, 2019

@jelovirt jelovirt moved this from In progress to Needs review in 3.3 Jan 26, 2019

@jelovirt jelovirt requested a review from robander Jan 26, 2019

@jelovirt jelovirt merged commit 17678d2 into develop Jan 31, 2019

4 checks passed

WIP Ready for review
continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed

3.3 automation moved this from Needs review to Done Jan 31, 2019

@jelovirt jelovirt added this to the 3.3 milestone Jan 31, 2019

@jelovirt jelovirt deleted the feature/coderef-default-encoding branch Jan 31, 2019

infotexture added a commit to dita-ot/docs that referenced this pull request Feb 25, 2019

Describe default coderef character set property
Per dita-ot/dita-ot#3195

Signed-off-by: Roger Sheen <>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.