[gnome-builder] Remove markup
- From: Alexandre Franke <afranke src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] Remove markup
- Date: Thu, 5 Feb 2015 21:29:23 +0000 (UTC)
commit bd5d05cfab53787a27f8b8f5ab0617a59c90b189
Author: Alexandre Franke <alexandre franke gmail com>
Date: Thu Feb 5 21:28:02 2015 +0000
Remove markup
You shouldn't use markup and you should use pango attributes instead
whenever possible
src/resources/ui/gb-editor-settings-widget.ui | 6 ++++--
1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/src/resources/ui/gb-editor-settings-widget.ui b/src/resources/ui/gb-editor-settings-widget.ui
index 3f0bdcc..217244b 100644
--- a/src/resources/ui/gb-editor-settings-widget.ui
+++ b/src/resources/ui/gb-editor-settings-widget.ui
@@ -142,8 +142,10 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="halign">start</property>
- <property name="label" translatable="yes"><b>Indentation</b></property>
- <property name="use_markup">True</property>
+ <property name="label" translatable="yes">Indentation</property>
+ <attributes>
+ <attribute name="weight" value="bold" />
+ </attributes>
</object>
<packing>
<property name="expand">False</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]