diff options
| author | Martin Wimpress <[email protected]> | 2017-08-11 15:10:56 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-08-11 15:10:56 +0100 |
| commit | d051953c1412ced4a140f7f4253c823bbe358165 (patch) | |
| tree | 6dd385ed6aaf4270b7253a41da5249bf7808e870 | |
| parent | ed1a6302c87c6070bbec549ec36c5b56c12a6564 (diff) | |
| download | marco-d051953c1412ced4a140f7f4253c823bbe358165.tar.bz2 marco-d051953c1412ced4a140f7f4253c823bbe358165.tar.xz | |
Forces a window scale of 1 for the window manager, instead of using the default or user configured scale. Closes #335 (#336)
| -rw-r--r-- | src/ui/ui.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ui/ui.c b/src/ui/ui.c index 767f72b3..5af02ae6 100644 --- a/src/ui/ui.c +++ b/src/ui/ui.c @@ -62,6 +62,11 @@ void meta_ui_init(int* argc, char*** argv) { meta_fatal ("Unable to open X display %s\n", XDisplayName (NULL)); } + + /* We need to be able to fully trust that the window and monitor sizes + * that GDK reports corresponds to the X ones, so we disable the automatic + * scale handling */ + gdk_x11_display_set_window_scale (gdk_display_get_default (), 1); } Display* meta_ui_get_display(void) |