var class_edit_command =
[
    [ "EditCommand", "class_edit_command.html#af33613ce4bc3fb70a8a800d9d2350c08", null ],
    [ "~EditCommand", "class_edit_command.html#a78dc364430cef71944eb5b2b09a83563", null ],
    [ "Do", "class_edit_command.html#acaae1141a46e4341d2eb9db718bba887", null ],
    [ "Undo", "class_edit_command.html#a58fb97a662f109be05443ac1c88b4e33", null ]
];