kitty/kitty
2016-10-30 15:16:08 +05:30
..
__init__.py Initial commit 2016-10-14 12:33:27 +05:30
boss.py Implement keyboard input 2016-10-30 14:56:53 +05:30
char_grid.py Start work on implementing the char grid 2016-10-30 13:06:13 +05:30
config.py Also get font hinting config from font-config 2016-10-24 11:43:38 +05:30
constants.py Handle window resizing correctly 2016-10-26 10:46:20 +05:30
data_types.py Micro-optimization 2016-10-21 17:40:17 +05:30
develop_gl.py Start work on implementing the char grid 2016-10-30 13:06:13 +05:30
fonts.py Fix vertical positioning when rendering characters 2016-10-30 15:16:08 +05:30
keys.py Implement keyboard input 2016-10-30 14:56:53 +05:30
main.py Start work on implementing the char grid 2016-10-30 13:06:13 +05:30
render.py Micro-optimization 2016-10-22 08:57:22 +05:30
screen.py Wire up all the new components 2016-10-24 10:17:02 +05:30
shaders.py Start work on implementing the char grid 2016-10-30 13:06:13 +05:30
term.py Render to an offscreen buffer 2016-10-21 17:19:33 +05:30
tracker.py Wire up all the new components 2016-10-24 10:17:02 +05:30
unicode.py Use a regex for faster filtering of uinicode data 2016-10-17 10:41:55 +05:30
utils.py Use font metrics for wcwidth() 2016-10-25 09:31:28 +05:30