var struct_v_s_t_g_u_i_1_1_text_editor_1_1_text_editor_view_1_1_undo_group =
[
    [ "record", "struct_v_s_t_g_u_i_1_1_text_editor_1_1_text_editor_view_1_1_undo_group.html#a5ace2f6613d40e68a653b4c7821ebfe9", null ],
    [ "time", "struct_v_s_t_g_u_i_1_1_text_editor_1_1_text_editor_view_1_1_undo_group.html#a5d34a8f2dfe25421b2b473a5fd37b0ed", null ]
];