mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-14 20:44:32 +02:00
Code Issues Packages Projects Releases Wiki Activity

Port drawing of borders

Browse Source
This commit is contained in:
Kovid Goyal
2017-11-14 22:38:30 +05:30
parent 2ac8ad39c9
commit 49be779982
5 changed files with 60 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
kitty/borders.py
View File

@@ -5,12 +5,10 @@
from functools import partial
from itertools import chain
from .constants import viewport_size
from .fast_data_types import (
BORDERS_PROGRAM, add_borders_rect, compile_program, init_borders_program,
send_borders_rects
BORDERS_PROGRAM, add_borders_rect, compile_program, init_borders_program
)
from .utils import color_as_int, pt_to_px, load_shaders
from .utils import color_as_int, load_shaders, pt_to_px
def vertical_edge(color, width, top, bottom, left):
@@ -74,4 +72,3 @@ class Borders:
color, pw, g.left - pw, g.top - pw, g.right + pw,
g.bottom + pw
)
send_borders_rects(viewport_size.width, viewport_size.height)