mirror of
https://github.com/kovidgoyal/kitty.git
synced 2024-09-11 22:47:45 +03:00
diff: Add a option for pygments style
This commit is contained in:
parent
7365ed9b05
commit
51e589c7e6
@ -5,6 +5,10 @@
|
||||
# file.abc use a setting of xyz:abc
|
||||
syntax_aliases pyj:py recipe:py
|
||||
|
||||
# The pygments color scheme to use. See https://help.farbox.com/pygments.html
|
||||
# for a list of schemes.
|
||||
pygments_style default
|
||||
|
||||
# Colors
|
||||
foreground black
|
||||
background white
|
||||
|
@ -242,7 +242,7 @@ def on_job_done(self, job_id, job_result):
|
||||
self.draw_screen()
|
||||
if initialize_highlighter is not None and not self.highlighting_done:
|
||||
self.highlighting_done = True
|
||||
initialize_highlighter()
|
||||
initialize_highlighter(self.opts.pygments_style)
|
||||
self.start_job('highlight', highlight_collection, self.collection, self.opts.syntax_aliases)
|
||||
elif job_id == 'highlight':
|
||||
hdata = job_result['result']
|
||||
|
Loading…
Reference in New Issue
Block a user