From a85c4272e27369d1b3451defc17262382fa83cdb Mon Sep 17 00:00:00 2001 From: guinux Date: Sat, 3 Jan 2015 19:23:49 +0100 Subject: [PATCH] fix #13 --- resources/manager_window.ui | 201 +++++++++++++++++++++--------------- 1 file changed, 118 insertions(+), 83 deletions(-) diff --git a/resources/manager_window.ui b/resources/manager_window.ui index 6b08633..e2978ef 100644 --- a/resources/manager_window.ui +++ b/resources/manager_window.ui @@ -1,118 +1,172 @@ + + + True + False + + + True + False + View History + + + + + + True + False + Install local packages + + + + + + True + False + _Preferences + True + + + + + + True + False + _About + True + + + + - - True - False - - - View History - True - False - - - - - - Install local packages - True - False - - - - - - _Preferences - True - True - False - - - - - - _About - True - True - False - - - -