text: var _window_manager_8py =
  [
      [ "init", "_window_manager_8py.html#a35f62b942beb6a09427ba06d047776a8", null ],
      [ "key_pressed", "_window_manager_8py.html#a9c3c9a0e5a26ac67bae7ad358e4ce724", null ],
      [ "progress_info", "_window_manager_8py.html#ad77cfbd17d2765c9e47fac633a50bed1", null ],
      [ "replace_option", "_window_manager_8py.html#a4f6d073256359607eb6f99327b40f116", null ],
      [ "terminate", "_window_manager_8py.html#a9ac4da8e557d0d325705ada7ef28f7b8", null ],
      [ "update", "_window_manager_8py.html#a116430751ba450d27b1d872909a1f910", null ],
      [ "_main_win", "_window_manager_8py.html#a43e5073c88fa9656ba13796144b2b39c", null ],
      [ "options_padding", "_window_manager_8py.html#a43c020b3da5440bca28c5c6970099cc2", null ]
  ];