From 8d446d15e84144a6af8aba95d00532a3ff48059b Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 3 Jun 2018 23:35:39 +0530 Subject: [PATCH] Add vim header to generated conf file --- kitty/conf/definition.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/conf/definition.py b/kitty/conf/definition.py index 8800d1903..90b5d94e9 100644 --- a/kitty/conf/definition.py +++ b/kitty/conf/definition.py @@ -104,7 +104,7 @@ def render_group(a, group): def as_conf_file(all_options): - ans = [] + ans = ['# vim:fileencoding=utf-8:ft=conf:foldmethod=marker', ''] a = ans.append current_group = None all_options = list(all_options) @@ -115,7 +115,7 @@ def as_conf_file(all_options): if current_group: if current_group.end_text: a(''), a(current_group.end_text) - a('# }}}') + a('# }}}'), a('') current_group = opt.group render_group(a, current_group)