Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Improved log explorer behaviour #2620

Merged
merged 13 commits into from
Sep 25, 2023
Merged

Improved log explorer behaviour #2620

merged 13 commits into from
Sep 25, 2023

Conversation

rozyczko
Copy link
Member

@rozyczko rozyczko commented Sep 20, 2023

Description

The behaviour of the log explorer has been modified.
It is now disabled by default.
One can explicitly enable it by going to the menus (View/Show Log Explorer).
Alternatively, it will be shown immediately on any error.

Also, added a simple colour switch on WARNING/ERROR messages in the log window.
Now, all errors show in red and warnings in orange-ish.
INFO and DEBUG are still in black.

Review Checklist (please remove items if they don't apply):

  • Code has been reviewed
  • Functionality has been tested
  • Windows installer (GH artifact) has been tested (installed and worked)
  • MacOSX installer (GH artifact) has been tested (installed and worked)

@rozyczko rozyczko changed the title Colours in the log explorer Improved log explorer behaviour Sep 20, 2023
@lucas-wilkins
Copy link
Contributor

Link issue (I'll find it later)

@rprospero
Copy link
Contributor

rprospero commented Sep 21, 2023

I've got an alternate approach to this which uses the record and the logging formatter instead of trying to parse the information out of the error message. PR #2639 will merge my changes into this PR

@rprospero
Copy link
Contributor

Closes #1423
Closes #2519

@rozyczko
Copy link
Member Author

@rprospero's version works well and improves the original way of log message syntax highlighting.
This can now be merged with main after another review.

@wpotrzebowski wpotrzebowski merged commit 2db2c9c into main Sep 25, 2023
36 checks passed
@wpotrzebowski wpotrzebowski deleted the colourful_log branch September 25, 2023 18:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants