-
-
Notifications
You must be signed in to change notification settings - Fork 2.7k
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
Fix dependencies on 'terminal' plugin #5138
Fix dependencies on 'terminal' plugin #5138
Conversation
417e1bb
to
24fac2e
Compare
Codecov Report
@@ Coverage Diff @@
## master #5138 +/- ##
==========================================
+ Coverage 96.06% 96.06% +<.01%
==========================================
Files 114 114
Lines 25784 25790 +6
Branches 2550 2550
==========================================
+ Hits 24770 24776 +6
Misses 704 704
Partials 310 310
Continue to review full report at Codecov.
|
Thanks for working on this! I wonder what @RonnyPfannschmidt has to say about the terminal plugin options being coupled like that - shouldn't only the terminal part/plugin itself know about it in the best case? |
I agree this coupling is not optimal. I only corrected the code with the assumption that this coupling is a necessary evil for now. |
@ikonst |
Since this is green on CI now, please squash and force-push it (it does not need 7 commits, and we have the squash-merge button disabled here). |
8e53d50
to
d67d68f
Compare
Thank you! |
Fix #5139