GTabWidget.cpp 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224
  1. #include <LibDraw/StylePainter.h>
  2. #include <LibGUI/GBoxLayout.h>
  3. #include <LibGUI/GPainter.h>
  4. #include <LibGUI/GTabWidget.h>
  5. GTabWidget::GTabWidget(GWidget* parent)
  6. : GWidget(parent)
  7. {
  8. set_fill_with_background_color(true);
  9. set_background_color(SystemColor::Window);
  10. }
  11. GTabWidget::~GTabWidget()
  12. {
  13. }
  14. void GTabWidget::add_widget(const StringView& title, GWidget* widget)
  15. {
  16. m_tabs.append({ title, widget });
  17. add_child(*widget);
  18. }
  19. void GTabWidget::set_active_widget(GWidget* widget)
  20. {
  21. if (widget == m_active_widget)
  22. return;
  23. if (m_active_widget)
  24. m_active_widget->set_visible(false);
  25. m_active_widget = widget;
  26. if (m_active_widget) {
  27. m_active_widget->set_relative_rect(child_rect_for_size(size()));
  28. m_active_widget->set_visible(true);
  29. }
  30. update_bar();
  31. }
  32. void GTabWidget::resize_event(GResizeEvent& event)
  33. {
  34. if (!m_active_widget)
  35. return;
  36. m_active_widget->set_relative_rect(child_rect_for_size(event.size()));
  37. }
  38. Rect GTabWidget::child_rect_for_size(const Size& size) const
  39. {
  40. Rect rect;
  41. switch (m_tab_position) {
  42. case TabPosition::Top:
  43. rect = { { container_padding(), bar_height() + container_padding() }, { size.width() - container_padding() * 2, size.height() - bar_height() - container_padding() * 2 } };
  44. break;
  45. case TabPosition::Bottom:
  46. rect = { { container_padding(), container_padding() }, { size.width() - container_padding() * 2, size.height() - bar_height() - container_padding() * 2 } };
  47. break;
  48. }
  49. if (rect.is_empty())
  50. return {};
  51. return rect;
  52. }
  53. void GTabWidget::child_event(CChildEvent& event)
  54. {
  55. if (!event.child() || !is<GWidget>(*event.child()))
  56. return GWidget::child_event(event);
  57. auto& child = to<GWidget>(*event.child());
  58. if (event.type() == GEvent::ChildAdded) {
  59. if (!m_active_widget)
  60. set_active_widget(&child);
  61. else if (m_active_widget != &child)
  62. child.set_visible(false);
  63. } else if (event.type() == GEvent::ChildRemoved) {
  64. if (m_active_widget == &child) {
  65. GWidget* new_active_widget = nullptr;
  66. for_each_child_widget([&](auto& new_child) {
  67. new_active_widget = &new_child;
  68. return IterationDecision::Break;
  69. });
  70. set_active_widget(new_active_widget);
  71. }
  72. }
  73. GWidget::child_event(event);
  74. }
  75. Rect GTabWidget::bar_rect() const
  76. {
  77. switch (m_tab_position) {
  78. case TabPosition::Top:
  79. return { 0, 0, width(), bar_height() };
  80. case TabPosition::Bottom:
  81. return { 0, height() - bar_height(), width(), bar_height() };
  82. }
  83. ASSERT_NOT_REACHED();
  84. }
  85. Rect GTabWidget::container_rect() const
  86. {
  87. switch (m_tab_position) {
  88. case TabPosition::Top:
  89. return { 0, bar_height(), width(), height() - bar_height() };
  90. case TabPosition::Bottom:
  91. return { 0, 0, width(), height() - bar_height() };
  92. }
  93. ASSERT_NOT_REACHED();
  94. }
  95. void GTabWidget::paint_event(GPaintEvent& event)
  96. {
  97. GPainter painter(*this);
  98. painter.add_clip_rect(event.rect());
  99. auto container_rect = this->container_rect();
  100. auto padding_rect = container_rect;
  101. for (int i = 0; i < container_padding(); ++i) {
  102. painter.draw_rect(padding_rect, background_color());
  103. padding_rect.shrink(2, 2);
  104. }
  105. StylePainter::paint_frame(painter, container_rect, FrameShape::Container, FrameShadow::Raised, 2);
  106. for (int i = 0; i < m_tabs.size(); ++i) {
  107. if (m_tabs[i].widget == m_active_widget)
  108. continue;
  109. bool hovered = i == m_hovered_tab_index;
  110. auto button_rect = this->button_rect(i);
  111. StylePainter::paint_tab_button(painter, button_rect, false, hovered, m_tabs[i].widget->is_enabled());
  112. painter.draw_text(button_rect.translated(0, 1), m_tabs[i].title, TextAlignment::Center, SystemColor::ButtonText);
  113. }
  114. for (int i = 0; i < m_tabs.size(); ++i) {
  115. if (m_tabs[i].widget != m_active_widget)
  116. continue;
  117. bool hovered = i == m_hovered_tab_index;
  118. auto button_rect = this->button_rect(i);
  119. StylePainter::paint_tab_button(painter, button_rect, true, hovered, m_tabs[i].widget->is_enabled());
  120. painter.draw_text(button_rect.translated(0, 1), m_tabs[i].title, TextAlignment::Center, SystemColor::ButtonText);
  121. painter.draw_line(button_rect.bottom_left().translated(1, 1), button_rect.bottom_right().translated(-1, 1), SystemColor::Button);
  122. break;
  123. }
  124. }
  125. Rect GTabWidget::button_rect(int index) const
  126. {
  127. int x_offset = 2;
  128. for (int i = 0; i < index; ++i)
  129. x_offset += m_tabs[i].width(font());
  130. Rect rect { x_offset, 0, m_tabs[index].width(font()), bar_height() };
  131. if (m_tabs[index].widget != m_active_widget) {
  132. rect.move_by(0, 2);
  133. rect.set_height(rect.height() - 2);
  134. } else {
  135. rect.move_by(-2, 0);
  136. rect.set_width(rect.width() + 4);
  137. }
  138. rect.move_by(bar_rect().location());
  139. return rect;
  140. }
  141. int GTabWidget::TabData::width(const Font& font) const
  142. {
  143. return 16 + font.width(title);
  144. }
  145. void GTabWidget::mousedown_event(GMouseEvent& event)
  146. {
  147. for (int i = 0; i < m_tabs.size(); ++i) {
  148. auto button_rect = this->button_rect(i);
  149. if (!button_rect.contains(event.position()))
  150. continue;
  151. set_active_widget(m_tabs[i].widget);
  152. return;
  153. }
  154. }
  155. void GTabWidget::mousemove_event(GMouseEvent& event)
  156. {
  157. int hovered_tab = -1;
  158. for (int i = 0; i < m_tabs.size(); ++i) {
  159. auto button_rect = this->button_rect(i);
  160. if (!button_rect.contains(event.position()))
  161. continue;
  162. hovered_tab = i;
  163. if (m_tabs[i].widget == m_active_widget)
  164. break;
  165. }
  166. if (hovered_tab == m_hovered_tab_index)
  167. return;
  168. m_hovered_tab_index = hovered_tab;
  169. update_bar();
  170. }
  171. void GTabWidget::leave_event(CEvent&)
  172. {
  173. if (m_hovered_tab_index != -1) {
  174. m_hovered_tab_index = -1;
  175. update_bar();
  176. }
  177. }
  178. void GTabWidget::update_bar()
  179. {
  180. auto invalidation_rect = bar_rect();
  181. invalidation_rect.set_height(invalidation_rect.height() + 1);
  182. update(invalidation_rect);
  183. }
  184. void GTabWidget::set_tab_position(TabPosition tab_position)
  185. {
  186. if (m_tab_position == tab_position)
  187. return;
  188. m_tab_position = tab_position;
  189. if (m_active_widget)
  190. m_active_widget->set_relative_rect(child_rect_for_size(size()));
  191. update();
  192. }
  193. int GTabWidget::active_tab_index() const
  194. {
  195. for (int i = 0; i < m_tabs.size(); i++) {
  196. if (m_tabs.at(i).widget == m_active_widget)
  197. return i;
  198. }
  199. return -1;
  200. }