void Hide() override { if (task_manager != nullptr) goto_button.Hide(); if (!images.empty()) { magnify_button.Hide(); shrink_button.Hide(); } previous_button.Hide(); next_button.Hide(); close_button.Hide(); info_dock.Hide(); details_panel.Hide(); commands_dock.Hide(); if (!images.empty()) image_window.Hide(); }
void Hide() override { if (allow_navigation) goto_button.Hide(); if (!images.empty()) { magnify_button.Hide(); shrink_button.Hide(); } if (allow_navigation) { previous_button.Hide(); next_button.Hide(); } close_button.Hide(); info_dock.Hide(); details_panel.Hide(); commands_dock.Hide(); if (!images.empty()) image_window.Hide(); }