kitty/kitty
2016-10-30 21:12:57 +05:30
..
__init__.py Disable OpenGL error checking for performance 2016-10-30 17:00:38 +05:30
boss.py Focus tracking 2016-10-30 21:12:01 +05:30
char_grid.py ... 2016-10-30 17:41:21 +05:30
config.py Implement cursor rendering 2016-10-30 16:25:54 +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 Collect profiling information from the child monitor thread as well 2016-10-30 17:29:36 +05:30
screen.py Wire up all the new components 2016-10-24 10:17:02 +05:30
shaders.py Optimize the hot loop 2016-10-30 17:19:37 +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