diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-15 21:41:34 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-15 21:41:34 +0000 |
commit | 6024de648c5e4b1bcb3630cecc307ca55db9ae8e (patch) | |
tree | d9c6878e5900d0c9ea4de20694e550b88ef0ad8d /Master/texmf-dist/tex/latex/polyglossia/polyglossia-latin.lua | |
parent | 7ebe75c756258ce417125e376f199df4fd5b47a9 (diff) |
polyglossia (15nov19)
git-svn-id: svn://tug.org/texlive/trunk@52808 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/polyglossia/polyglossia-latin.lua')
-rw-r--r-- | Master/texmf-dist/tex/latex/polyglossia/polyglossia-latin.lua | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/polyglossia/polyglossia-latin.lua b/Master/texmf-dist/tex/latex/polyglossia/polyglossia-latin.lua new file mode 100644 index 00000000000..05c65ffe8bb --- /dev/null +++ b/Master/texmf-dist/tex/latex/polyglossia/polyglossia-latin.lua @@ -0,0 +1,31 @@ +require('polyglossia-punct') + +-- For ecclesiastic Latin (and sometimes for Italian) a very small space is +-- used for the punctuation. The ecclesiastic package uses a space of +-- 0.3\fontdimen2, where \fontdimen2 is a interword space, which is typically +-- between 1/4 and 1/3 of a quad. We choose a half of a \thinspace here. +local hairspace = 0.08333 -- 1/12 + +local function activate_latin_punct() + polyglossia.activate_punct('latin') + polyglossia.clear_spaced_characters('latin') + polyglossia.add_left_spaced_character('latin',':',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','!',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','?',hairspace,'quad') + polyglossia.add_left_spaced_character('latin',';',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','‼',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','⁇',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','⁈',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','⁉',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','»',hairspace,'quad') + polyglossia.add_left_spaced_character('latin','›',hairspace,'quad') + polyglossia.add_right_spaced_character('latin','«',hairspace,'quad') + polyglossia.add_right_spaced_character('latin','‹',hairspace,'quad') +end + +local function deactivate_latin_punct() + polyglossia.deactivate_punct() +end + +polyglossia.activate_latin_punct = activate_latin_punct +polyglossia.deactivate_latin_punct = deactivate_latin_punct |