From 82a7277499ee80c8f01dbffd64d0e7a1d64d8825 Mon Sep 17 00:00:00 2001
From: Jonathan Kang <jonathan121537@gmail.com>
Date: Tue, 29 Aug 2017 17:09:28 +0800
Subject: [PATCH] shell: make Devices and Details rows selectable

Currently, while navigating using keyboard, the "Devices" and
"Details" rows of the GtkListBox in the sidebar don't seem to be
selected visually. Fix that by setting "selectable" property of those
two widgets as TRUE.

https://bugzilla.gnome.org/show_bug.cgi?id=786849
---
 shell/panel-list.ui | 2 --
 1 file changed, 2 deletions(-)

diff --git a/shell/panel-list.ui b/shell/panel-list.ui
index e27cb238c..725afdfcc 100644
--- a/shell/panel-list.ui
+++ b/shell/panel-list.ui
@@ -16,7 +16,6 @@
           <object class="GtkListBoxRow" id="devices_row">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
-            <property name="selectable">False</property>
             <child>
               <object class="GtkBox">
                 <property name="visible">True</property>
@@ -75,7 +74,6 @@
           <object class="GtkListBoxRow" id="details_row">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
-            <property name="selectable">False</property>
             <child>
               <object class="GtkBox">
                 <property name="visible">True</property>