Skip to content

Conversation

@Urgau
Copy link
Member

@Urgau Urgau commented Dec 15, 2025

Follow-up to #2234.

Improves highlighting of log lines by:

  1. using a stronger background color, as it's currently not visible in mobile
    image

  2. making the table have the correct width to fix the background cut-off
    image

  3. fix a bug where some log lines where not handled correctly

  4. improve the scrolling for mobile so we arrive at the start of the log line and not the start of the timestamp

Best reviewed commit by commit.

@Urgau Urgau requested a review from Kobzol December 15, 2025 17:45
@Kobzol Kobzol added this pull request to the merge queue Dec 15, 2025
Merged via the queue into rust-lang:master with commit eb06c0c Dec 15, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants