Skip to content
This repository has been archived by the owner on Sep 20, 2024. It is now read-only.

Feature/little bit better logging gui #383

Merged
merged 8 commits into from
Aug 7, 2020
Merged

Feature/little bit better logging gui #383

merged 8 commits into from
Aug 7, 2020
+158 −414

Conversation

iLLiCiTiT
Copy link
Member

Changes

  • logging gui has working filters and sorting with better widgets size on open
  • removed datetime filtering (until will somehow work...)
  • added timestamp support to output

Notes

  • PR is to release because has most changes
  • there is still a lot work to do

@iLLiCiTiT iLLiCiTiT self-assigned this Jul 25, 2020
@iLLiCiTiT iLLiCiTiT requested a review from a team July 25, 2020 23:37
@mkolar mkolar changed the base branch from release/2.11.0 to 2.x/develop July 26, 2020 19:58
@mkolar mkolar added this to the 2.12 milestone Aug 7, 2020
@mkolar mkolar merged commit a89b1c9 into 2.x/develop Aug 7, 2020
@mkolar mkolar deleted the feature/little_bit_better_logging_gui branch August 13, 2020 08:45
@mkolar mkolar added the type: enhancement Enhancements to existing functionality label Sep 9, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@iLLiCiTiT iLLiCiTiT

Labels
type: enhancement Enhancements to existing functionality
Projects
None yet
Milestone
2.12
Development

Successfully merging this pull request may close these issues.
2 participants
@iLLiCiTiT @mkolar