[gnome-settings-daemon/gnome-3-34] media-keys: Divide keyboard brightness value by 100

[Florian Müllner <fmuellner src gnome org>]

commit 625e75c00854054005172e098281e946a5216aa8
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Fri Sep 13 16:52:24 2019 +0000

    media-keys: Divide keyboard brightness value by 100
    
    Since the OSD in the shell changed [1] to using float values from 0.0 to
    1.0, send a double instead of a percentage via DBus.
    
    [1] https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/385
    
    
    (cherry picked from commit ba35e99788cc8cd434dcf996b164c164d6cba082)

 plugins/media-keys/gsd-media-keys-manager.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index 4b0af3d5..8cf8d201 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -3716,7 +3716,7 @@ power_keyboard_proxy_signal_cb (GDBusProxy  *proxy,
         if (g_strcmp0 (source, "internal") != 0)
                 return;
 
-        show_osd (manager, "keyboard-brightness-symbolic", NULL, brightness, NULL);
+        show_osd (manager, "keyboard-brightness-symbolic", NULL, (double) brightness / 100.0, NULL);
 }
 
 static void