GTabWidget.cpp 6.5 KB

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