var class_text_selection_tool =
[
    [ "copy", "class_text_selection_tool.html#ad22555f93321a371c7003d1c89e2d6cb", null ],
    [ "getSelectionInfo", "class_text_selection_tool.html#a8dedaa4e77822093038f6ba48bcb4306", null ]
];