diff options
author | Robert Alessi <alessi@robertalessi.net> | 2016-06-06 11:36:19 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2016-06-06 11:36:19 +0200 |
commit | 534e976d37d731134462eff9899eeb76379a1967 (patch) | |
tree | d557ac08f725980b261e0d7eed19120318d5fcf6 | |
parent | 7074a69c173166cd7c79e1467327dc5510a45a58 (diff) | |
download | arabluatex-534e976d37d731134462eff9899eeb76379a1967.tar.gz |
workaround for a bug (#349) in font loader
-rw-r--r-- | arabluatex.dtx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/arabluatex.dtx b/arabluatex.dtx index 76ec531..eb4827c 100644 --- a/arabluatex.dtx +++ b/arabluatex.dtx | |||
@@ -130,9 +130,11 @@ | |||
130 | \usepackage[english]{babel} | 130 | \usepackage[english]{babel} |
131 | \usepackage{dox} | 131 | \usepackage{dox} |
132 | \doxitem{Option}{option}{options} | 132 | \doxitem{Option}{option}{options} |
133 | \def\actualchar{ =} | 133 | \def\actualchar{ =} % there's a bug in doxitem; quick fix. |
134 | \usepackage{fontspec,luatextra} | 134 | \usepackage{fontspec,luatextra} |
135 | \defaultfontfeatures{RawFeature={+liga;+onum;+hlig}} | 135 | % 'Script=Default' below: luaoftload has trouble to shift from 'latn' |
136 | % to 'arab'. This is being looked into. | ||
137 | \defaultfontfeatures{RawFeature={+liga;+onum;+hlig}, Script=Default} | ||
136 | \setmainfont{Libertinus Serif} | 138 | \setmainfont{Libertinus Serif} |
137 | \setsansfont{Libertinus Sans} | 139 | \setsansfont{Libertinus Sans} |
138 | \setmonofont[Scale=.9]{Libertinus Mono} | 140 | \setmonofont[Scale=.9]{Libertinus Mono} |