Merge fd0199b7c927c8637b7805467eb606566cba9214 into 236aa48e741ff8d65c4c3826db2813bf2ee6f352

This commit is contained in:
romes 2021-11-20 16:15:22 +00:00 committed by GitHub
commit 36b3a0d883
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -46,7 +46,8 @@ def create_sequences(colors, vte_fix=False):
# Special colors.
# Source: https://goo.gl/KcoQgP
# 10 = foreground, 11 = background, 12 = cursor foreground
# 13 = mouse foreground, 708 = background border color.
# 13 = mouse foreground, 708 = background border color,
# 706 = bold color.
sequences.extend([
set_special(10, colors["special"]["foreground"], "g"),
set_special(11, colors["special"]["background"], "h", alpha),
@ -54,6 +55,7 @@ def create_sequences(colors, vte_fix=False):
set_special(13, colors["special"]["foreground"], "j"),
set_special(17, colors["special"]["foreground"], "k"),
set_special(19, colors["special"]["background"], "m"),
set_special(706, colors["special"]["foreground"], "i"),
set_color(232, colors["special"]["background"]),
set_color(256, colors["special"]["foreground"]),
set_color(257, colors["special"]["background"]),