| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  | #include <LibGUI/GTabWidget.h>
 | 
					
						
							|  |  |  | #include <LibGUI/GBoxLayout.h>
 | 
					
						
							|  |  |  | #include <LibGUI/GPainter.h>
 | 
					
						
							|  |  |  | #include <SharedGraphics/StylePainter.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | GTabWidget::GTabWidget(GWidget* parent) | 
					
						
							|  |  |  |     : GWidget(parent) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | GTabWidget::~GTabWidget() | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void GTabWidget::add_widget(const String& title, GWidget* widget) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     m_tabs.append({ title, widget }); | 
					
						
							|  |  |  |     add_child(*widget); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void GTabWidget::set_active_widget(GWidget* widget) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     if (widget == m_active_widget) | 
					
						
							|  |  |  |         return; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if (m_active_widget) | 
					
						
							|  |  |  |         m_active_widget->set_visible(false); | 
					
						
							|  |  |  |     m_active_widget = widget; | 
					
						
							|  |  |  |     if (m_active_widget) { | 
					
						
							|  |  |  |         m_active_widget->set_relative_rect(child_rect_for_size(size())); | 
					
						
							|  |  |  |         m_active_widget->set_visible(true); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-05 15:03:34 +02:00
										 |  |  |     auto invalidation_rect = bar_rect(); | 
					
						
							|  |  |  |     invalidation_rect.set_height(invalidation_rect.height() + 1); | 
					
						
							|  |  |  |     update(invalidation_rect); | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void GTabWidget::resize_event(GResizeEvent& event) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     if (!m_active_widget) | 
					
						
							|  |  |  |         return; | 
					
						
							|  |  |  |     m_active_widget->set_relative_rect(child_rect_for_size(event.size())); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | Rect GTabWidget::child_rect_for_size(const Size& size) const | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2019-05-05 15:03:34 +02:00
										 |  |  |     return { { container_padding(), bar_height() + container_padding() }, { size.width() - container_padding() * 2, size.height() - bar_height() - container_padding() * 2 } }; | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void GTabWidget::child_event(CChildEvent& event) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     if (!event.child() || !event.child()->is_widget()) | 
					
						
							|  |  |  |         return GWidget::child_event(event); | 
					
						
							|  |  |  |     auto& child = static_cast<GWidget&>(*event.child()); | 
					
						
							|  |  |  |     if (event.type() == GEvent::ChildAdded) { | 
					
						
							|  |  |  |         if (!m_active_widget) | 
					
						
							|  |  |  |             set_active_widget(&child); | 
					
						
							|  |  |  |         else if (m_active_widget != &child) | 
					
						
							|  |  |  |             child.set_visible(false); | 
					
						
							|  |  |  |     } else if (event.type() == GEvent::ChildRemoved) { | 
					
						
							|  |  |  |         if (m_active_widget == &child) { | 
					
						
							|  |  |  |             GWidget* new_active_widget = nullptr; | 
					
						
							|  |  |  |             for (auto* new_child : children()) { | 
					
						
							|  |  |  |                 if (new_child->is_widget()) { | 
					
						
							|  |  |  |                     new_active_widget = static_cast<GWidget*>(new_child); | 
					
						
							|  |  |  |                     break; | 
					
						
							|  |  |  |                 } | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |             set_active_widget(new_active_widget); | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |     GWidget::child_event(event); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | Rect GTabWidget::bar_rect() const | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     return { 0, 0, width(), bar_height() }; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void GTabWidget::paint_event(GPaintEvent& event) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     GPainter painter(*this); | 
					
						
							|  |  |  |     painter.add_clip_rect(event.rect()); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-05 14:39:37 +02:00
										 |  |  |     painter.fill_rect(bar_rect(), Color::LightGray); | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-05 15:03:34 +02:00
										 |  |  |     Rect container_rect { 0, bar_height(), width(), height() - bar_height() }; | 
					
						
							|  |  |  |     auto padding_rect = container_rect; | 
					
						
							|  |  |  |     for (int i = 0; i < container_padding(); ++i) { | 
					
						
							|  |  |  |         painter.draw_rect(padding_rect, background_color()); | 
					
						
							|  |  |  |         padding_rect.shrink(2, 2); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     StylePainter::paint_frame(painter, container_rect, FrameShape::Panel, FrameShadow::Raised, 2); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  |     for (int i = 0; i < m_tabs.size(); ++i) { | 
					
						
							| 
									
										
										
										
											2019-05-05 14:39:37 +02:00
										 |  |  |         if (m_tabs[i].widget == m_active_widget) | 
					
						
							|  |  |  |             continue; | 
					
						
							|  |  |  |         auto button_rect = this->button_rect(i); | 
					
						
							|  |  |  |         StylePainter::paint_tab_button(painter, button_rect, false, m_tabs[i].hovered, m_tabs[i].widget->is_enabled()); | 
					
						
							|  |  |  |         painter.draw_text(button_rect, m_tabs[i].title, TextAlignment::Center); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     for (int i = 0; i < m_tabs.size(); ++i) { | 
					
						
							|  |  |  |         if (m_tabs[i].widget != m_active_widget) | 
					
						
							|  |  |  |             continue; | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  |         auto button_rect = this->button_rect(i); | 
					
						
							| 
									
										
										
										
											2019-05-05 14:39:37 +02:00
										 |  |  |         StylePainter::paint_tab_button(painter, button_rect, true, m_tabs[i].hovered, m_tabs[i].widget->is_enabled()); | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  |         painter.draw_text(button_rect, m_tabs[i].title, TextAlignment::Center); | 
					
						
							| 
									
										
										
										
											2019-05-05 15:03:34 +02:00
										 |  |  |         painter.draw_line(button_rect.bottom_left().translated(1, 1), button_rect.bottom_right().translated(-1, 1), background_color()); | 
					
						
							| 
									
										
										
										
											2019-05-05 14:39:37 +02:00
										 |  |  |         break; | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  |     } | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | Rect GTabWidget::button_rect(int index) const | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2019-05-05 14:39:37 +02:00
										 |  |  |     int x_offset = 2; | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  |     for (int i = 0; i < index; ++i) | 
					
						
							|  |  |  |         x_offset += m_tabs[i].width(font()); | 
					
						
							| 
									
										
										
										
											2019-05-05 14:39:37 +02:00
										 |  |  |     Rect rect { x_offset, 0, m_tabs[index].width(font()), bar_height() }; | 
					
						
							|  |  |  |     if (m_tabs[index].widget != m_active_widget) { | 
					
						
							|  |  |  |         rect.move_by(0, 2); | 
					
						
							|  |  |  |         rect.set_height(rect.height() - 2); | 
					
						
							|  |  |  |     } else { | 
					
						
							|  |  |  |         rect.move_by(-2, 0); | 
					
						
							|  |  |  |         rect.set_width(rect.width() + 4); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |     return rect; | 
					
						
							| 
									
										
										
										
											2019-05-05 01:31:02 +02:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | int GTabWidget::TabData::width(const Font& font) const | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     return 16 + font.width(title); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void GTabWidget::mousedown_event(GMouseEvent& event) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     for (int i = 0; i < m_tabs.size(); ++i) { | 
					
						
							|  |  |  |         auto button_rect = this->button_rect(i); | 
					
						
							|  |  |  |         if (!button_rect.contains(event.position())) | 
					
						
							|  |  |  |             continue; | 
					
						
							|  |  |  |         set_active_widget(m_tabs[i].widget); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | } |