var console_8cc =
[
    [ "ztui::readline_getline", "namespaceztui.html#a75d192b9823b68caef673791bbcf1361", null ],
    [ "ztui::get_screen_width", "namespaceztui.html#aaff5be12b9b2044ba7809cc2fcafd729", null ],
    [ "ztui::clear_keyboard_buffer", "namespaceztui.html#af885530b5a1dafd0fe0857bf6c0b86ea", null ]
];