-
-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
WIP: Add tab functionality to the logging area #3465
base: master
Are you sure you want to change the base?
Conversation
da40883
to
8981d33
Compare
8cda76a
to
71bc965
Compare
@davidebeatrici Why is this priority critical?
|
Changed to
|
3bf8a96
to
c696585
Compare
@davidebeatrici I read that #88 was superseded by #1712 which was again superseded by this PR, namely #3465, which is at the same time supposed to be an updated version of #179 . Does this mean that this Pull Request implements a chat log option? As far I as I have read, all these pull requests are pretty different from each other. |
@Akito13 This pull request doesn't implement a chat log feature, but it's planned. #88 was closed because it has to be rewritten after the tab functionality is implemented. #88 (comment) is confusing, sorry about that. |
What's the status on this? Still WIP as the title suggests? |
Yes. We actually wanted to finish this for 1.3.0, but unfortunately there was no time left after we fixed all the (high priority) issues. @Natenom kindly wrote a to-do list for the feature, I'm going to write it in the pull request's message. |
This pull request is #179 updated.
To-do list:
Thanks to @Natenom for writing the list and testing the pull request.
Fixes #1884
Fixes #1839