void MainWindow::remove_view(View *view) { workspace->remove_view(view); int index = find_view_index(view); delete views[index]; views.erase(views.begin() + index); }
void ViewWorkspace::remove_view(View *view) { unsigned int page_index = find_view_index(view); pages.erase(pages.begin()+page_index); if (current_page_index >= page_index && current_page_index > 0) current_page_index--; show_view(current_page_index); }
void ViewWorkspace::set_view_color(View *view, clan::Colorf &color) { int page_index = find_view_index(view); if (page_index != current_page_index) { pages[page_index].color = color; request_repaint(); } }
void ViewWorkspace::show_view(View *view) { show_view(find_view_index(view)); }