Skip to content
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

filler_margin_bg option for diff kitten #2518

Closed
dufferzafar opened this issue Apr 8, 2020 · 0 comments
Closed

filler_margin_bg option for diff kitten #2518

dufferzafar opened this issue Apr 8, 2020 · 0 comments

Comments

@dufferzafar
Copy link

dufferzafar commented Apr 8, 2020

I'm using a custom dark theme diff.conf for the diff kitten.

It has an option of filler_bg that I've set to black, but it results in odd looking margins, like so (notice on the left side after line no 2, how the margin breaks):

image

This is because the filler_bg is used for margins as well. Can we also an option called filler_margin_bg that is used to paint filler margins.

My custom diff.conf

pygments_style          monokai

foreground              white
background              black

title_fg                white
title_bg                black

margin_fg               white
margin_bg               #212121

removed_bg              #4b0000
highlight_removed_bg    #7d0000
removed_margin_bg       #212121

added_bg                #003700
highlight_added_bg      #007d00
added_margin_bg         #212121

filler_bg               black

hunk_bg                 #212121
hunk_margin_bg          #212121

search_bg               #444
search_fg               white

select_bg               #b4d5fe
select_fg               black
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant