Skip to content
Permalink
Browse files

Scale cursor size for HiDPI

  • Loading branch information...
vkareh authored and raveit65 committed Mar 24, 2018
1 parent 5bb0b3e commit 81fdb557657e922958236af2ccfbe44762fead1d
Showing with 5 additions and 1 deletion.
  1. +5 −1 src/core/prefs.c
@@ -27,6 +27,7 @@
#include "prefs.h"
#include "ui.h"
#include "util.h"
#include <gdk/gdk.h>
#include <gio/gio.h>
#include <string.h>
#include <stdlib.h>
@@ -1097,7 +1098,10 @@ meta_prefs_get_cursor_theme (void)
int
meta_prefs_get_cursor_size (void)
{
return cursor_size;
GdkWindow *window = gdk_get_default_root_window ();
gint scale = gdk_window_get_scale_factor (window);

return cursor_size * scale;
}

gboolean

0 comments on commit 81fdb55

Please sign in to comment.
You can’t perform that action at this time.