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

Ensure initial viewport size is correct since window size and framebuffer size may not match on high DPI screens

Browse Source
This commit is contained in:
Kovid Goyal 2017-01-13 09:28:29 +05:30
parent 6f54a62189
commit fa15b2d398
2 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
kitty/glfw.c
View File

@ -294,6 +294,22 @@ _set_title(Window *self, PyObject *args) {
Py_RETURN_NONE;
}
static PyObject*
get_framebuffer_size(Window *self) {
int w, h;
glfwGetFramebufferSize(self->window, &w, &h);
return Py_BuildValue("ii", w, h);
}
static PyObject*
get_window_size(Window *self) {
int w, h;
glfwGetWindowSize(self->window, &w, &h);
return Py_BuildValue("ii", w, h);
}
// Boilerplate {{{
#define MND(name, args) {#name, (PyCFunction)name, args, ""}
@ -302,6 +318,8 @@ static PyMethodDef methods[] = {
MND(get_clipboard_string, METH_NOARGS),
MND(get_cursor_pos, METH_NOARGS),
MND(should_close, METH_NOARGS),
MND(get_framebuffer_size, METH_NOARGS),
MND(get_window_size, METH_NOARGS),
MND(set_should_close, METH_VARARGS),
MND(set_input_mode, METH_VARARGS),
MND(is_key_pressed, METH_VARARGS),

1
kitty/main.py
View File

@ -101,6 +101,7 @@ def run_app(opts, args):
viewport_size.width, viewport_size.height, args.cls)
window.set_title(appname)
window.make_context_current()
viewport_size.width, viewport_size.height = window.get_framebuffer_size()
glewInit()
boss = Boss(window, opts, args)
boss.start()