BoxLayout.cpp 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405
  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->effective_min_size();
  32. UISize max_size = entry.widget->max_size();
  33. UISize preferred_size = entry.widget->effective_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->effective_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 spacer_count = 0;
  117. int opportunistic_growth_item_count = 0;
  118. int opportunistic_growth_items_base_size_total = 0;
  119. for (size_t i = 0; i < m_entries.size(); ++i) {
  120. auto& entry = m_entries[i];
  121. if (entry.type == Entry::Type::Spacer) {
  122. items.append(Item { nullptr, { SpecialDimension::Shrink }, { SpecialDimension::Grow }, { SpecialDimension::Grow } });
  123. spacer_count++;
  124. continue;
  125. }
  126. if (!entry.widget)
  127. continue;
  128. if (!entry.widget->is_visible())
  129. continue;
  130. auto min_size = entry.widget->effective_min_size().primary_size_for_orientation(orientation());
  131. auto max_size = entry.widget->max_size().primary_size_for_orientation(orientation());
  132. auto preferred_size = entry.widget->effective_preferred_size().primary_size_for_orientation(orientation());
  133. if (preferred_size == SpecialDimension::OpportunisticGrow) {
  134. opportunistic_growth_item_count++;
  135. opportunistic_growth_items_base_size_total += MUST(min_size.shrink_value());
  136. } else {
  137. preferred_size = clamp(preferred_size, min_size, max_size);
  138. }
  139. items.append(
  140. Item {
  141. entry.widget.ptr(),
  142. min_size,
  143. max_size,
  144. preferred_size });
  145. }
  146. if (items.is_empty())
  147. return;
  148. Gfx::IntRect content_rect = widget.content_rect();
  149. int uncommitted_size = content_rect.size().primary_size_for_orientation(orientation())
  150. - spacing() * (items.size() - 1 - spacer_count)
  151. - margins().primary_total_for_orientation(orientation());
  152. int unfinished_regular_items = items.size() - spacer_count - opportunistic_growth_item_count;
  153. int max_amongst_the_min_sizes = 0;
  154. int max_amongst_the_min_sizes_of_opportunistically_growing_items = 0;
  155. int regular_items_to_layout = 0;
  156. int regular_items_min_size_total = 0;
  157. // Pass 1: Set all items to their minimum size.
  158. for (auto& item : items) {
  159. VERIFY(item.min_size.is_one_of(SpecialDimension::Regular, SpecialDimension::Shrink));
  160. item.size = MUST(item.min_size.shrink_value());
  161. uncommitted_size -= item.size;
  162. if (item.min_size.is_int() && item.max_size.is_int() && item.min_size == item.max_size) {
  163. // Fixed-size items finish immediately in the first pass.
  164. item.final = true;
  165. if (item.preferred_size == SpecialDimension::OpportunisticGrow) {
  166. opportunistic_growth_item_count--;
  167. opportunistic_growth_items_base_size_total -= MUST(item.min_size.shrink_value());
  168. } else {
  169. --unfinished_regular_items;
  170. }
  171. } else if (item.preferred_size != SpecialDimension::OpportunisticGrow && item.widget) {
  172. max_amongst_the_min_sizes = max(max_amongst_the_min_sizes, MUST(item.min_size.shrink_value()));
  173. regular_items_to_layout++;
  174. regular_items_min_size_total += item.size;
  175. } else if (item.preferred_size == SpecialDimension::OpportunisticGrow) {
  176. 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()));
  177. }
  178. }
  179. // Pass 2: Set all non final, non spacer items to the previously encountered maximum min_size of these kind of items
  180. // This is done to ensure even growth, if the items don't have the same min_size, which most won't have.
  181. // If you are unsure what effect this has, try looking at widget gallery with, and without this, it'll be obvious.
  182. if (uncommitted_size > 0) {
  183. int total_growth_if_not_overcommitted = regular_items_to_layout * max_amongst_the_min_sizes - regular_items_min_size_total;
  184. int overcommitment_if_all_same_min_size = total_growth_if_not_overcommitted - uncommitted_size;
  185. for (auto& item : items) {
  186. if (item.final || item.preferred_size == SpecialDimension::OpportunisticGrow || !item.widget)
  187. continue;
  188. int extra_needed_space = max_amongst_the_min_sizes - item.size;
  189. if (overcommitment_if_all_same_min_size > 0) {
  190. extra_needed_space -= (overcommitment_if_all_same_min_size * extra_needed_space + (total_growth_if_not_overcommitted - 1)) / (total_growth_if_not_overcommitted);
  191. }
  192. VERIFY(extra_needed_space >= 0);
  193. VERIFY(uncommitted_size >= extra_needed_space);
  194. item.size += extra_needed_space;
  195. if (item.max_size.is_int() && item.size > item.max_size.as_int())
  196. item.size = item.max_size.as_int();
  197. uncommitted_size -= item.size - MUST(item.min_size.shrink_value());
  198. }
  199. }
  200. // Pass 3: Determine final item size for non spacers, and non opportunisticially growing widgets
  201. 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.
  202. // 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,
  203. // and gave the Widget a larger size than its preferred size.
  204. while (unfinished_regular_items && (uncommitted_size > 0 || loop_counter++ == 0)) {
  205. VERIFY(loop_counter < 100);
  206. int slice = uncommitted_size / unfinished_regular_items;
  207. // If uncommitted_size does not divide evenly by unfinished_regular_items,
  208. // there are some extra pixels that have to be distributed.
  209. int pixels = uncommitted_size - slice * unfinished_regular_items;
  210. uncommitted_size = 0;
  211. for (auto& item : items) {
  212. if (item.final)
  213. continue;
  214. if (!item.widget)
  215. continue;
  216. if (item.preferred_size == SpecialDimension::OpportunisticGrow)
  217. continue;
  218. int pixel = pixels ? 1 : 0;
  219. pixels -= pixel;
  220. int item_size_with_full_slice = item.size + slice + pixel;
  221. UIDimension resulting_size { 0 };
  222. resulting_size = max(item.size, item_size_with_full_slice);
  223. resulting_size = min(resulting_size, item.preferred_size);
  224. resulting_size = min(resulting_size, item.max_size);
  225. if (resulting_size.is_shrink()) {
  226. // FIXME: Propagate this error, so it is obvious where the mistake is actually made.
  227. if (!item.min_size.is_int())
  228. dbgln("BoxLayout: underconstrained widget set to zero size: {} {}", item.widget->class_name(), item.widget->name());
  229. resulting_size = MUST(item.min_size.shrink_value());
  230. item.final = true;
  231. }
  232. if (resulting_size.is_grow())
  233. resulting_size = item_size_with_full_slice;
  234. item.size = resulting_size.as_int();
  235. // If the slice was more than we needed, return remainder to available_size.
  236. // Note that this will in some cases even return more than the slice size.
  237. uncommitted_size += item_size_with_full_slice - item.size;
  238. if (item.final
  239. || (item.max_size.is_int() && item.max_size.as_int() == item.size)
  240. || (item.preferred_size.is_int() && item.preferred_size.as_int() == item.size)) {
  241. item.final = true;
  242. --unfinished_regular_items;
  243. }
  244. }
  245. }
  246. // Pass 4: Even out min_size for opportunistically growing items, analogous to pass 2
  247. if (uncommitted_size > 0 && opportunistic_growth_item_count > 0) {
  248. 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;
  249. int overcommitment_if_all_same_min_size = total_growth_if_not_overcommitted - uncommitted_size;
  250. for (auto& item : items) {
  251. if (item.final || item.preferred_size != SpecialDimension::OpportunisticGrow || !item.widget)
  252. continue;
  253. int extra_needed_space = max_amongst_the_min_sizes_of_opportunistically_growing_items - item.size;
  254. if (overcommitment_if_all_same_min_size > 0 && total_growth_if_not_overcommitted > 0) {
  255. extra_needed_space -= (overcommitment_if_all_same_min_size * extra_needed_space + (total_growth_if_not_overcommitted - 1)) / (total_growth_if_not_overcommitted);
  256. }
  257. VERIFY(extra_needed_space >= 0);
  258. VERIFY(uncommitted_size >= extra_needed_space);
  259. item.size += extra_needed_space;
  260. if (item.max_size.is_int() && item.size > item.max_size.as_int())
  261. item.size = item.max_size.as_int();
  262. uncommitted_size -= item.size - MUST(item.min_size.shrink_value());
  263. }
  264. }
  265. loop_counter = 0;
  266. // Pass 5: Determine the size for the opportunistically growing items.
  267. while (opportunistic_growth_item_count > 0 && uncommitted_size > 0) {
  268. VERIFY(loop_counter++ < 200);
  269. int opportunistic_growth_item_extra_size = uncommitted_size / opportunistic_growth_item_count;
  270. int pixels = uncommitted_size - opportunistic_growth_item_count * opportunistic_growth_item_extra_size;
  271. VERIFY(pixels >= 0);
  272. for (auto& item : items) {
  273. if (item.preferred_size != SpecialDimension::OpportunisticGrow || item.final || !item.widget)
  274. continue;
  275. int pixel = (pixels > 0 ? 1 : 0);
  276. pixels -= pixel;
  277. int previous_size = item.size;
  278. item.size += opportunistic_growth_item_extra_size + pixel;
  279. if (item.max_size.is_int() && item.size >= item.max_size.as_int()) {
  280. item.size = item.max_size.as_int();
  281. item.final = true;
  282. opportunistic_growth_item_count--;
  283. }
  284. uncommitted_size -= item.size - previous_size;
  285. }
  286. }
  287. // Determine size of the spacers, according to the still uncommitted size
  288. int spacer_width = 0;
  289. if (spacer_count > 0 && uncommitted_size > 0) {
  290. spacer_width = uncommitted_size / spacer_count;
  291. }
  292. // Pass 6: Place the widgets.
  293. int current_x = margins().left() + content_rect.x();
  294. int current_y = margins().top() + content_rect.y();
  295. auto widget_rect_with_margins_subtracted = margins().applied_to(content_rect);
  296. for (auto& item : items) {
  297. Gfx::IntRect rect { current_x, current_y, 0, 0 };
  298. rect.set_primary_size_for_orientation(orientation(), item.size);
  299. if (item.widget) {
  300. int secondary = widget.content_size().secondary_size_for_orientation(orientation());
  301. secondary -= margins().secondary_total_for_orientation(orientation());
  302. UIDimension min_secondary = item.widget->effective_min_size().secondary_size_for_orientation(orientation());
  303. UIDimension max_secondary = item.widget->max_size().secondary_size_for_orientation(orientation());
  304. UIDimension preferred_secondary = item.widget->effective_preferred_size().secondary_size_for_orientation(orientation());
  305. if (preferred_secondary.is_int())
  306. secondary = min(secondary, preferred_secondary.as_int());
  307. if (min_secondary.is_int())
  308. secondary = max(secondary, min_secondary.as_int());
  309. if (max_secondary.is_int())
  310. secondary = min(secondary, max_secondary.as_int());
  311. rect.set_secondary_size_for_orientation(orientation(), secondary);
  312. if (orientation() == Gfx::Orientation::Horizontal)
  313. rect.center_vertically_within(widget_rect_with_margins_subtracted);
  314. else
  315. rect.center_horizontally_within(widget_rect_with_margins_subtracted);
  316. item.widget->set_relative_rect(rect);
  317. if (orientation() == Gfx::Orientation::Horizontal)
  318. current_x += rect.width() + spacing();
  319. else
  320. current_y += rect.height() + spacing();
  321. } else {
  322. if (orientation() == Gfx::Orientation::Horizontal)
  323. current_x += spacer_width;
  324. else
  325. current_y += spacer_width;
  326. }
  327. }
  328. }
  329. }