BoxLayout.cpp 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392
  1. /*
  2. * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2022, Frhun <serenitystuff@frhun.de>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <AK/JsonObject.h>
  8. #include <LibGUI/BoxLayout.h>
  9. #include <LibGUI/Margins.h>
  10. #include <LibGUI/Widget.h>
  11. #include <LibGfx/Orientation.h>
  12. #include <stdio.h>
  13. REGISTER_LAYOUT(GUI, HorizontalBoxLayout)
  14. REGISTER_LAYOUT(GUI, VerticalBoxLayout)
  15. namespace GUI {
  16. BoxLayout::BoxLayout(Orientation orientation)
  17. : m_orientation(orientation)
  18. {
  19. register_property(
  20. "orientation", [this] { return m_orientation == Gfx::Orientation::Vertical ? "Vertical" : "Horizontal"; }, nullptr);
  21. }
  22. UISize BoxLayout::preferred_size() const
  23. {
  24. VERIFY(m_owner);
  25. UIDimension result_primary { 0 };
  26. UIDimension result_secondary { 0 };
  27. bool first_item { true };
  28. for (auto& entry : m_entries) {
  29. if (!entry.widget || !entry.widget->is_visible())
  30. continue;
  31. UISize min_size = entry.widget->min_size();
  32. UISize max_size = entry.widget->max_size();
  33. UISize preferred_size = entry.widget->preferred_size();
  34. if (result_primary != SpecialDimension::Grow) {
  35. UIDimension item_primary_size = clamp(
  36. preferred_size.primary_size_for_orientation(orientation()),
  37. min_size.primary_size_for_orientation(orientation()),
  38. max_size.primary_size_for_orientation(orientation()));
  39. if (item_primary_size.is_int())
  40. result_primary.add_if_int(item_primary_size.as_int());
  41. if (item_primary_size.is_grow())
  42. result_primary = SpecialDimension::Grow;
  43. if (!first_item)
  44. result_primary.add_if_int(spacing());
  45. }
  46. {
  47. UIDimension secondary_preferred_size = preferred_size.secondary_size_for_orientation(orientation());
  48. if (secondary_preferred_size == SpecialDimension::OpportunisticGrow)
  49. secondary_preferred_size = 0;
  50. UIDimension item_secondary_size = clamp(
  51. secondary_preferred_size,
  52. min_size.secondary_size_for_orientation(orientation()),
  53. max_size.secondary_size_for_orientation(orientation()));
  54. result_secondary = max(item_secondary_size, result_secondary);
  55. }
  56. first_item = false;
  57. }
  58. result_primary.add_if_int(
  59. margins().primary_total_for_orientation(orientation())
  60. + m_owner->content_margins().primary_total_for_orientation(orientation()));
  61. result_secondary.add_if_int(
  62. margins().secondary_total_for_orientation(orientation())
  63. + m_owner->content_margins().secondary_total_for_orientation(orientation()));
  64. if (orientation() == Gfx::Orientation::Horizontal)
  65. return { result_primary, result_secondary };
  66. return { result_secondary, result_primary };
  67. }
  68. UISize BoxLayout::min_size() const
  69. {
  70. VERIFY(m_owner);
  71. UIDimension result_primary { 0 };
  72. UIDimension result_secondary { 0 };
  73. bool first_item { true };
  74. for (auto& entry : m_entries) {
  75. if (!entry.widget || !entry.widget->is_visible())
  76. continue;
  77. UISize min_size = entry.widget->min_size();
  78. {
  79. UIDimension primary_min_size = min_size.primary_size_for_orientation(orientation());
  80. VERIFY(primary_min_size.is_one_of(SpecialDimension::Shrink, SpecialDimension::Regular));
  81. if (primary_min_size.is_int())
  82. result_primary.add_if_int(primary_min_size.as_int());
  83. if (!first_item)
  84. result_primary.add_if_int(spacing());
  85. }
  86. {
  87. UIDimension secondary_min_size = min_size.secondary_size_for_orientation(orientation());
  88. VERIFY(secondary_min_size.is_one_of(SpecialDimension::Shrink, SpecialDimension::Regular));
  89. result_secondary = max(result_secondary, secondary_min_size);
  90. }
  91. first_item = false;
  92. }
  93. result_primary.add_if_int(
  94. margins().primary_total_for_orientation(orientation())
  95. + m_owner->content_margins().primary_total_for_orientation(orientation()));
  96. result_secondary.add_if_int(
  97. margins().secondary_total_for_orientation(orientation())
  98. + m_owner->content_margins().secondary_total_for_orientation(orientation()));
  99. if (orientation() == Gfx::Orientation::Horizontal)
  100. return { result_primary, result_secondary };
  101. return { result_secondary, result_primary };
  102. }
  103. void BoxLayout::run(Widget& widget)
  104. {
  105. if (m_entries.is_empty())
  106. return;
  107. struct Item {
  108. Widget* widget { nullptr };
  109. UIDimension min_size { SpecialDimension::Shrink };
  110. UIDimension max_size { SpecialDimension::Grow };
  111. UIDimension preferred_size { SpecialDimension::Shrink };
  112. int size { 0 };
  113. bool final { false };
  114. };
  115. Vector<Item, 32> items;
  116. int opportunistic_growth_item_count = 0;
  117. int opportunistic_growth_items_base_size_total = 0;
  118. for (size_t i = 0; i < m_entries.size(); ++i) {
  119. auto& entry = m_entries[i];
  120. if (entry.type == Entry::Type::Spacer) {
  121. items.append(Item { nullptr, { SpecialDimension::Shrink }, { SpecialDimension::Grow }, { SpecialDimension::Grow } });
  122. continue;
  123. }
  124. if (!entry.widget)
  125. continue;
  126. if (!entry.widget->is_visible())
  127. continue;
  128. auto min_size = entry.widget->effective_min_size().primary_size_for_orientation(orientation());
  129. auto max_size = entry.widget->max_size().primary_size_for_orientation(orientation());
  130. auto preferred_size = entry.widget->effective_preferred_size().primary_size_for_orientation(orientation());
  131. if (preferred_size == SpecialDimension::OpportunisticGrow) {
  132. opportunistic_growth_item_count++;
  133. opportunistic_growth_items_base_size_total += MUST(min_size.shrink_value());
  134. } else {
  135. preferred_size = clamp(preferred_size, min_size, max_size);
  136. }
  137. items.append(
  138. Item {
  139. entry.widget.ptr(),
  140. min_size,
  141. max_size,
  142. preferred_size });
  143. }
  144. if (items.is_empty())
  145. return;
  146. Gfx::IntRect content_rect = widget.content_rect();
  147. int uncommitted_size = content_rect.size().primary_size_for_orientation(orientation())
  148. - spacing() * (items.size() - 1)
  149. - margins().primary_total_for_orientation(orientation());
  150. int unfinished_regular_items = items.size() - opportunistic_growth_item_count;
  151. int max_amongst_the_min_sizes = 0;
  152. int max_amongst_the_min_sizes_of_opportunistically_growing_items = 0;
  153. int regular_items_to_layout = 0;
  154. int regular_items_min_size_total = 0;
  155. // Pass 1: Set all items to their minimum size.
  156. for (auto& item : items) {
  157. VERIFY(item.min_size.is_one_of(SpecialDimension::Regular, SpecialDimension::Shrink));
  158. item.size = MUST(item.min_size.shrink_value());
  159. uncommitted_size -= item.size;
  160. if (item.min_size.is_int() && item.max_size.is_int() && item.min_size == item.max_size) {
  161. // Fixed-size items finish immediately in the first pass.
  162. item.final = true;
  163. if (item.preferred_size == SpecialDimension::OpportunisticGrow) {
  164. opportunistic_growth_item_count--;
  165. opportunistic_growth_items_base_size_total -= MUST(item.min_size.shrink_value());
  166. } else {
  167. --unfinished_regular_items;
  168. }
  169. } else if (item.preferred_size != SpecialDimension::OpportunisticGrow && item.widget) {
  170. max_amongst_the_min_sizes = max(max_amongst_the_min_sizes, MUST(item.min_size.shrink_value()));
  171. regular_items_to_layout++;
  172. regular_items_min_size_total += item.size;
  173. } else if (item.preferred_size == SpecialDimension::OpportunisticGrow) {
  174. max_amongst_the_min_sizes_of_opportunistically_growing_items = max(max_amongst_the_min_sizes_of_opportunistically_growing_items, MUST(item.min_size.shrink_value()));
  175. }
  176. }
  177. // Pass 2: Set all non final, non spacer items to the previously encountered maximum min_size of these kind of items
  178. // This is done to ensure even growth, if the items don't have the same min_size, which most won't have.
  179. // If you are unsure what effect this has, try looking at widget gallery with, and without this, it'll be obvious.
  180. if (uncommitted_size > 0) {
  181. int total_growth_if_not_overcommitted = regular_items_to_layout * max_amongst_the_min_sizes - regular_items_min_size_total;
  182. int overcommitment_if_all_same_min_size = total_growth_if_not_overcommitted - uncommitted_size;
  183. for (auto& item : items) {
  184. if (item.final || item.preferred_size == SpecialDimension::OpportunisticGrow || !item.widget)
  185. continue;
  186. int extra_needed_space = max_amongst_the_min_sizes - item.size;
  187. if (overcommitment_if_all_same_min_size > 0) {
  188. extra_needed_space -= (overcommitment_if_all_same_min_size * extra_needed_space + (total_growth_if_not_overcommitted - 1)) / (total_growth_if_not_overcommitted);
  189. }
  190. VERIFY(extra_needed_space >= 0);
  191. VERIFY(uncommitted_size >= extra_needed_space);
  192. item.size += extra_needed_space;
  193. if (item.max_size.is_int() && item.size > item.max_size.as_int())
  194. item.size = item.max_size.as_int();
  195. uncommitted_size -= item.size - MUST(item.min_size.shrink_value());
  196. }
  197. }
  198. // Pass 3: Determine final item size for non spacers, and non opportunisticially growing widgets
  199. int loop_counter = 0; // This doubles as a safeguard for when the loop below doesn't finish for some reason, and as a mechanism to ensure it runs at least once.
  200. // This has to run at least once, to handle the case where the loop for evening out the min sizes was in an overcommitted state,
  201. // and gave the Widget a larger size than its preferred size.
  202. while (unfinished_regular_items && (uncommitted_size > 0 || loop_counter++ == 0)) {
  203. VERIFY(loop_counter < 100);
  204. int slice = uncommitted_size / unfinished_regular_items;
  205. // If uncommitted_size does not divide evenly by unfinished_regular_items,
  206. // there are some extra pixels that have to be distributed.
  207. int pixels = uncommitted_size - slice * unfinished_regular_items;
  208. uncommitted_size = 0;
  209. for (auto& item : items) {
  210. if (item.final)
  211. continue;
  212. if (!item.widget)
  213. continue;
  214. if (item.preferred_size == SpecialDimension::OpportunisticGrow)
  215. continue;
  216. int pixel = pixels ? 1 : 0;
  217. pixels -= pixel;
  218. int item_size_with_full_slice = item.size + slice + pixel;
  219. UIDimension resulting_size { 0 };
  220. resulting_size = max(item.size, item_size_with_full_slice);
  221. resulting_size = min(resulting_size, item.preferred_size);
  222. resulting_size = min(resulting_size, item.max_size);
  223. if (resulting_size.is_shrink()) {
  224. // FIXME: Propagate this error, so it is obvious where the mistake is actually made.
  225. if (!item.min_size.is_int())
  226. dbgln("BoxLayout: underconstrained widget set to zero size: {} {}", item.widget->class_name(), item.widget->name());
  227. resulting_size = MUST(item.min_size.shrink_value());
  228. item.final = true;
  229. }
  230. if (resulting_size.is_grow())
  231. resulting_size = item_size_with_full_slice;
  232. item.size = resulting_size.as_int();
  233. // If the slice was more than we needed, return remainder to available_size.
  234. // Note that this will in some cases even return more than the slice size.
  235. uncommitted_size += item_size_with_full_slice - item.size;
  236. if (item.final
  237. || (item.max_size.is_int() && item.max_size.as_int() == item.size)
  238. || (item.preferred_size.is_int() && item.preferred_size.as_int() == item.size)) {
  239. item.final = true;
  240. --unfinished_regular_items;
  241. }
  242. }
  243. }
  244. // Pass 4: Even out min_size for opportunistically growing items, analogous to pass 2
  245. if (uncommitted_size > 0 && opportunistic_growth_item_count > 0) {
  246. int total_growth_if_not_overcommitted = opportunistic_growth_item_count * max_amongst_the_min_sizes_of_opportunistically_growing_items - opportunistic_growth_items_base_size_total;
  247. int overcommitment_if_all_same_min_size = total_growth_if_not_overcommitted - uncommitted_size;
  248. for (auto& item : items) {
  249. if (item.final || item.preferred_size != SpecialDimension::OpportunisticGrow || !item.widget)
  250. continue;
  251. int extra_needed_space = max_amongst_the_min_sizes_of_opportunistically_growing_items - item.size;
  252. if (overcommitment_if_all_same_min_size > 0 && total_growth_if_not_overcommitted > 0) {
  253. extra_needed_space -= (overcommitment_if_all_same_min_size * extra_needed_space + (total_growth_if_not_overcommitted - 1)) / (total_growth_if_not_overcommitted);
  254. }
  255. VERIFY(extra_needed_space >= 0);
  256. VERIFY(uncommitted_size >= extra_needed_space);
  257. item.size += extra_needed_space;
  258. if (item.max_size.is_int() && item.size > item.max_size.as_int())
  259. item.size = item.max_size.as_int();
  260. uncommitted_size -= item.size - MUST(item.min_size.shrink_value());
  261. }
  262. }
  263. loop_counter = 0;
  264. // Pass 5: Determine the size for the opportunistically growing items.
  265. while (opportunistic_growth_item_count > 0 && uncommitted_size > 0) {
  266. VERIFY(loop_counter++ < 200);
  267. int opportunistic_growth_item_extra_size = uncommitted_size / opportunistic_growth_item_count;
  268. int pixels = uncommitted_size - opportunistic_growth_item_count * opportunistic_growth_item_extra_size;
  269. VERIFY(pixels >= 0);
  270. for (auto& item : items) {
  271. if (item.preferred_size != SpecialDimension::OpportunisticGrow || item.final || !item.widget)
  272. continue;
  273. int pixel = (pixels > 0 ? 1 : 0);
  274. pixels -= pixel;
  275. int previous_size = item.size;
  276. item.size += opportunistic_growth_item_extra_size + pixel;
  277. if (item.max_size.is_int() && item.size >= item.max_size.as_int()) {
  278. item.size = item.max_size.as_int();
  279. item.final = true;
  280. opportunistic_growth_item_count--;
  281. }
  282. uncommitted_size -= item.size - previous_size;
  283. }
  284. }
  285. // Pass 6: Place the widgets.
  286. int current_x = margins().left() + content_rect.x();
  287. int current_y = margins().top() + content_rect.y();
  288. auto widget_rect_with_margins_subtracted = margins().applied_to(content_rect);
  289. for (auto& item : items) {
  290. Gfx::IntRect rect { current_x, current_y, 0, 0 };
  291. rect.set_primary_size_for_orientation(orientation(), item.size);
  292. if (item.widget) {
  293. int secondary = widget.content_size().secondary_size_for_orientation(orientation());
  294. secondary -= margins().secondary_total_for_orientation(orientation());
  295. UIDimension min_secondary = item.widget->effective_min_size().secondary_size_for_orientation(orientation());
  296. UIDimension max_secondary = item.widget->max_size().secondary_size_for_orientation(orientation());
  297. UIDimension preferred_secondary = item.widget->effective_preferred_size().secondary_size_for_orientation(orientation());
  298. if (preferred_secondary.is_int())
  299. secondary = min(secondary, preferred_secondary.as_int());
  300. if (min_secondary.is_int())
  301. secondary = max(secondary, min_secondary.as_int());
  302. if (max_secondary.is_int())
  303. secondary = min(secondary, max_secondary.as_int());
  304. rect.set_secondary_size_for_orientation(orientation(), secondary);
  305. if (orientation() == Gfx::Orientation::Horizontal)
  306. rect.center_vertically_within(widget_rect_with_margins_subtracted);
  307. else
  308. rect.center_horizontally_within(widget_rect_with_margins_subtracted);
  309. item.widget->set_relative_rect(rect);
  310. }
  311. if (orientation() == Gfx::Orientation::Horizontal)
  312. current_x += rect.width() + spacing();
  313. else
  314. current_y += rect.height() + spacing();
  315. }
  316. }
  317. }