var class_window_extension =
[
    [ "WindowExtension", "class_window_extension.html#aaee3a267d4c379a84914b7471795d456", null ],
    [ "~WindowExtension", "class_window_extension.html#a0149570f16fa0086454a5363bb61a59f", null ]
];