From f388fe7ae9bbd63996fe4bae471ba162c45a252c Mon Sep 17 00:00:00 2001
From: None <github@jenslody.de>
Date: Mon, 13 Apr 2015 08:49:39 +0200
Subject: [PATCH] Added gettext-domain to ui-file.

---
 data/panel-osd-settings.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/panel-osd-settings.ui b/data/panel-osd-settings.ui
index 6073932..8d72f43 100644
--- a/data/panel-osd-settings.ui
+++ b/data/panel-osd-settings.ui
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Generated with glade 3.18.3 -->
-<interface>
+<interface domain="gnome-shell-extension-panel-osd">
   <requires lib="gtk+" version="3.10"/>
   <object class="GtkAdjustment" id="delay-adjustment">
     <property name="lower">0.5</property>