Skip to content

Reworked console with new design and features#754

Merged
adriengivry merged 6 commits intomainfrom
feature/reworked_console
Apr 22, 2026
Merged

Reworked console with new design and features#754
adriengivry merged 6 commits intomainfrom
feature/reworked_console

Conversation

@adriengivry
Copy link
Copy Markdown
Member

@adriengivry adriengivry commented Apr 22, 2026

Description

  • Logs can now be selected (useful for copy/paste)
  • Logs can now be collapsed
  • Logs can now be searched through
  • Automatic scroll to bottom

Related Issue(s)

Fixes #(issue number)

Review Guidance

Write here.

Screenshots/GIFs

image

AI Usage Disclosure

Pretty much 100% AI generated

Checklist

  • My code follows the project's code style guidelines
  • When applicable, I have commented my code, particularly in hard-to-understand areas
  • When applicable, I have updated the documentation accordingly
  • My changes don't generate new warnings or errors
  • I have reviewed and take responsibility for all code in this PR (including any AI-assisted contributions)

@adriengivry adriengivry self-assigned this Apr 22, 2026
@adriengivry adriengivry marked this pull request as ready for review April 22, 2026 18:31
@adriengivry adriengivry added Editor Something relative with the editor QoL Quality of Life : Something that can improve users productivity labels Apr 22, 2026
@adriengivry adriengivry merged commit a2bb45b into main Apr 22, 2026
8 checks passed
@adriengivry adriengivry deleted the feature/reworked_console branch April 22, 2026 18:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Editor Something relative with the editor QoL Quality of Life : Something that can improve users productivity

Development

Successfully merging this pull request may close these issues.

1 participant