[gnome-builder] omnibar: set markup for runtime label

[Christian Hergert <chergert src gnome org>]

commit 750b89d1a6c2fb860499fd2e14a8e71c017a678e
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jul 22 22:58:07 2017 -0700

    omnibar: set markup for runtime label
    
    We allow markup in the display-name for runtimes. Not
    necessarily the greatest design decision in retrospect.

 libide/workbench/ide-omni-bar.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/libide/workbench/ide-omni-bar.ui b/libide/workbench/ide-omni-bar.ui
index 89f27ae..dfb310d 100644
--- a/libide/workbench/ide-omni-bar.ui
+++ b/libide/workbench/ide-omni-bar.ui
@@ -279,6 +279,7 @@
                     </child>
                     <child>
                       <object class="GtkLabel" id="popover_runtime_label">
+                        <property name="use-markup">true</property>
                         <property name="hexpand">true</property>
                         <property name="visible">true</property>
                         <property name="xalign">0.0</property>