+SpaceInfo space_info[] = {
+ // name width kind negative visible custom
+ {"!", 6, InsetSpaceParams::NEGTHIN, true, true, false},
+ {"negthinspace", 6, InsetSpaceParams::NEGTHIN, true, true, false},
+ {"negmedspace", 8, InsetSpaceParams::NEGMEDIUM, true, true, false},
+ {"negthickspace", 10, InsetSpaceParams::NEGTHICK, true, true, false},
+ {",", 6, InsetSpaceParams::THIN, false, true, false},
+ {"thinspace", 6, InsetSpaceParams::THIN, false, true, false},
+ {":", 8, InsetSpaceParams::MEDIUM, false, true, false},
+ {"medspace", 8, InsetSpaceParams::MEDIUM, false, true, false},
+ {";", 10, InsetSpaceParams::THICK, false, true, false},
+ {"thickspace", 10, InsetSpaceParams::THICK, false, true, false},
+ {"enskip", 10, InsetSpaceParams::ENSKIP, false, true, false},
+ {"quad", 20, InsetSpaceParams::QUAD, false, true, false},
+ {"qquad", 40, InsetSpaceParams::QQUAD, false, true, false},
+ {"lyxnegspace", -2, InsetSpaceParams::NEGTHIN, true, false, false},
+ {"lyxposspace", 2, InsetSpaceParams::THIN, false, false, false},
+ {"hspace", 0, InsetSpaceParams::CUSTOM, false, true, true},
+};