mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-18 06:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Make sticky_header default to yes

Browse Source
This commit is contained in:
Kovid Goyal
2026-04-19 12:14:39 +05:30
parent ed6bdacf44
commit a3dfe2b55a
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kittens/diff/main.py
View File

@@ -89,7 +89,7 @@ If an invalid expression is provided, diff will fail with an error.
'''
)
opt('sticky_header', 'no', option_type='to_bool', long_text='''
opt('sticky_header', 'yes', 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.
''')