var class_line_thickness_values =
[
    [ "delete", "class_line_thickness_values.html#a8f3fd864e3f7da37b2e579a425224b1d", null ],
    [ "insert", "class_line_thickness_values.html#a873de22b4ca5cceeaea46b20e6c71504", null ],
    [ "replace", "class_line_thickness_values.html#a3896c1f79870a407a6f3b338b371b083", null ]
];