SyedM/crib
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 5 Wiki Activity

Fix diagnostics box width to be a bit more smarter

Browse Source
This commit is contained in:
Syed Daanish
2026-01-10 18:16:18 +00:00
parent 3f2046bf9f
commit b20702928a
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/ui/diagnostics.cc
View File

@@ -11,7 +11,19 @@ void DiagnosticBox::render_first() {
return; return;
uint32_t longest_line = 8 + warnings[0].source.length(); uint32_t longest_line = 8 + warnings[0].source.length();
for (auto &warn : warnings) { for (auto &warn : warnings) {
longest_line = MAX(longest_line, (uint32_t)warn.text.length() + 7); uint32_t longest = 0;
uint32_t cur = 0;
for (char ch : warn.text_full)
if (ch == '\n') {
longest = MAX(longest, cur);
cur = 0;
} else {
if (ch == '\t')
cur += 3;
++cur;
}
longest = MAX(longest, cur);
longest_line = MAX(longest_line, longest + 7);
longest_line = MAX(longest_line, (uint32_t)warn.code.length() + 4); longest_line = MAX(longest_line, (uint32_t)warn.code.length() + 4);
for (auto &see_also : warn.see_also) for (auto &see_also : warn.see_also)
longest_line = MAX(longest_line, (uint32_t)see_also.length() + 4); longest_line = MAX(longest_line, (uint32_t)see_also.length() + 4);