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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
#!/bin/env julia
import REPL
const filename = "latex2unicode_utf-8"
const include_emoji = false # set this to true if you want to keymap empjis as well
# We want to avoid situations in which the user types e.g. \delt and pauses,
# and the result is "∇t" because "\del" gets recognized and then there is some leftover "t".
# This allows us to get completions with <Tab> for example.
function fix_completions(completions::Dict{String,String})
allinputs = sort!(collect(keys(completions)))
new_completions = copy(completions)
for input in allinputs
chars = completions[input]
l = length(input)
longer = filter(x->startswith(x, input)&&length(x)>l, allinputs)
n = length(longer)
n == 0 && continue
new_completions[input * "<Tab>"] = chars
for other in longer
add = other[1:(l+1)]
get!(new_completions, add, add)
end
end
return new_completions
end
function unicode_data()
file = normpath(Sys.BINDIR, "..", "..", "doc", "UnicodeData.txt")
names = Dict{UInt32, String}()
open(file) do unidata
for line in readlines(unidata)
id, name, desc = split(line, ";")[[1, 2, 11]]
codepoint = parse(UInt32, "0x$id")
names[codepoint] = (name == "" ? desc : desc == "" ? name : "$name / $desc")
end
end
return names
end
# Prepend a dotted circle ('◌' i.e. '\u25CC') to combining characters
function fix_combining_chars(char)
cat = Base.Unicode.category_code(char)
return string(cat == 6 || cat == 8 ? "◌" : "", char)
end
function table_entries(completions::Dict{String,String}, unicode_dict)
latex = String[]
code = String[]
unicode = String[]
desc = String[]
for (input, chars) in sort!(collect(completions))
code_points, unicode_names, characters = String[], String[], String[]
if startswith(chars, "\\")
push!(code_points, replace(chars, "\\" => "\\\\"))
push!(unicode_names, "(Incomplete sequence)")
push!(characters, "")
else
for char in chars
push!(code_points, "<char-0x$(uppercase(string(UInt32(char), base = 16, pad = 5)))>")
push!(unicode_names, get(unicode_dict, UInt32(char), "(No Unicode name)"))
push!(characters, isempty(characters) ? fix_combining_chars(char) : "$char")
end
end
push!(latex, replace(input, "\\"=>"\\\\"))
push!(code, join(code_points))
push!(unicode, join(characters))
push!(desc, join(unicode_names, " + "))
end
return latex, code, unicode, desc
end
open("$filename.vim","w") do f
print(f, """
" This file is autogenerated from the script '$(basename(Base.source_path()))'
" The symbols are based on Julia version $VERSION
" The full generating script can be found in the comments at the bottom of this file,
" and it can be extracted with:
"
" \$ grep '^\">' $filename.vim | cut -c4- > '$(basename(Base.source_path()))'
"
" To produce this keymap file you need to have Julia compilied from source, and
" to run `make deps` inside Julia's `doc` directory.
" Then you can run:
"
" \$ julia $(basename(Base.source_path()))
"
scriptencoding utf-8
let b:keymap_name = "L2U"
loadkeymap
""")
col_headers = ["\" Tab completion sequence", "Code point", "Character", "Unicode name"]
orig_completions = include_emoji ? merge(
REPL.REPLCompletions.latex_symbols,
REPL.REPLCompletions.emoji_symbols
) :
REPL.REPLCompletions.latex_symbols
latex, code, unicode, desc =
table_entries(
fix_completions(orig_completions),
unicode_data()
)
lw = max(length(col_headers[3]), maximum(map(length, latex)))
cw = max(length(col_headers[1]), maximum(map(length, code)))
uw = max(length(col_headers[2]), maximum(map(length, unicode)))
dw = max(length(col_headers[4]), maximum(map(length, desc)))
print_padded(l, c, u, d) = println(f, rpad(l, lw), " ", rpad(c, cw), " \" ", rpad(u, uw), " : ", d)
print_padded(col_headers...)
print_padded("\" " * "-"^(lw-2), "-"^cw, "-"^uw, "-"^dw)
for (l, c, u, d) in zip(latex, code, unicode, desc)
print_padded(l, c, u, d)
end
print_padded("\" " * "-"^(lw-2), "-"^cw, "-"^uw, "-"^dw)
print(f, """
" Below here is the script that was used to produce this file.
""")
for l in readlines(Base.source_path())
println(f, "\"> ", l)
end
println(f)
end
|
