mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-17 05:54:59 +02:00
kitten diff: add support for sticky header
This commit is contained in:
@@ -89,6 +89,11 @@ If an invalid expression is provided, diff will fail with an error.
|
||||
'''
|
||||
)
|
||||
|
||||
opt('sticky_header', 'no', option_type='to_bool', long_text='''
|
||||
When scrolled past the header of a file, keep the file's name and separator
|
||||
pinned to the top of the screen.
|
||||
''')
|
||||
|
||||
egr() # }}}
|
||||
|
||||
# colors {{{
|
||||
|
||||
Reference in New Issue
Block a user