1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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
|