Start removing colour config from explore
#10270
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR removes the
explore.try.border_color
config item, and instead always uses theseparator
colour (the one used for regular table borders) from the current theme.The PR also removes some unused
explore.config
bits from the default config (I missed this in #10259).Future Work
This PR is intentionally small, I want to confirm that I'm on the right track before I rip out more colour config from
explore
. If all goes well, expect more PRs like this soon.Testing
I confirmed that this works by changing my
separator
colour inconfig.nu
, and also confirmed that nothing breaks if a user still hasexplore.try.border_color
in their config.