KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix mouse co-ordinates incorrect on OS X retina

Browse Source 
Fixes #43
This commit is contained in:
Kovid Goyal 2017-01-24 07:30:57 +05:30
parent 72955afba8
commit 9f3d6fe0e9
3 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/boss.py
View File

@ -339,7 +339,7 @@ class Boss(Thread):
@callback @callback
def on_mouse_move(self, window, xpos, ypos): def on_mouse_move(self, window, xpos, ypos):
mouse_cursor_pos[:2] = xpos, ypos mouse_cursor_pos[:2] = int(xpos * viewport_size.x_ratio), int(ypos * viewport_size.y_ratio)
self.show_mouse_cursor() self.show_mouse_cursor()
w = self.window_for_pos(xpos, ypos) w = self.window_for_pos(xpos, ypos)
if w is not None: if w is not None:

5
kitty/constants.py
View File

@ -45,13 +45,14 @@ del _get_config_dir
class ViewportSize: class ViewportSize:
__slots__ = ('width', 'height') __slots__ = ('width', 'height', 'x_ratio', 'y_ratio')
def __init__(self): def __init__(self):
self.width = self.height = 1024 self.width = self.height = 1024
self.x_ratio = self.y_ratio = 1.0
def __repr__(self): def __repr__(self):
return '(width={}, height={})'.format(self.width, self.height) return '(width={}, height={}, x_ratio={}, y_ratio={})'.format(self.width, self.height, self.x_ratio, self.y_ratio)
def get_boss(): def get_boss():

3
kitty/main.py
View File

@ -108,6 +108,9 @@ def run_app(opts, args):
with open(logo_data_file, 'rb') as f: with open(logo_data_file, 'rb') as f:
window.set_icon(f.read(), 256, 256) window.set_icon(f.read(), 256, 256)
viewport_size.width, viewport_size.height = window.get_framebuffer_size() viewport_size.width, viewport_size.height = window.get_framebuffer_size()
w, h = window.get_window_size()
viewport_size.x_ratio = viewport_size.width / float(w)
viewport_size.y_ratio = viewport_size.height / float(h)
glewInit() glewInit()
boss = Boss(window, opts, args) boss = Boss(window, opts, args)
boss.start() boss.start()