From 3fe93a1b45753b2e018bfcbf92678110f5478063 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Fri, 20 Oct 2017 08:39:58 +0200
Subject: [PATCH] frontends (xmlui): added ValueGetter.keys

---
 frontends/src/tools/xmlui.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontends/src/tools/xmlui.py b/frontends/src/tools/xmlui.py
index 3d17b11b..9fe93483 100644
--- a/frontends/src/tools/xmlui.py
+++ b/frontends/src/tools/xmlui.py
@@ -326,6 +326,9 @@ class ValueGetter(object):
     def __getattr__(self, name):
         return self.__getitem__(name)
 
+    def keys(self):
+        return self.widgets.keys()
+
 
 class XMLUIPanel(XMLUIBase):
     """XMLUI Panel