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

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

commit ba35e99788cc8cd434dcf996b164c164d6cba082
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Fri Sep 13 18:52:24 2019 +0200

    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

 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 e59a47e8..7856c454 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -3718,7 +3718,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