From 1dce4e0603b828f30ed2abe4d94ad2e39b865c5f Mon Sep 17 00:00:00 2001
From: guinux <nuxgui@gmail.com>
Date: Sat, 5 Nov 2016 10:20:19 +0100
Subject: [PATCH] fix #135

---
 resources/manager_window.ui | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources/manager_window.ui b/resources/manager_window.ui
index 5c69a3e..5d44c48 100644
--- a/resources/manager_window.ui
+++ b/resources/manager_window.ui
@@ -629,6 +629,7 @@
                             <property name="halign">start</property>
                             <property name="margin_start">6</property>
                             <property name="margin_end">6</property>
+                            <property name="selectable">True</property>
                           </object>
                           <packing>
                             <property name="expand">False</property>
@@ -658,6 +659,7 @@
                             <property name="halign">start</property>
                             <property name="margin_start">6</property>
                             <property name="margin_end">6</property>
+                            <property name="selectable">True</property>
                           </object>
                           <packing>
                             <property name="expand">False</property>