| 38 <object class="GtkTextTag" id="tags.category"> |
38 <object class="GtkTextTag" id="tags.category"> |
| 39 <property name="weight">700</property> |
39 <property name="weight">700</property> |
| 40 </object> |
40 </object> |
| 41 </child> |
41 </child> |
| 42 <child type="tag"> |
42 <child type="tag"> |
| 43 <object class="GtkTextTag" id="tags.invisible"> |
43 <object class="GtkTextTag" id="tags.filtered_invisible"> |
| 44 <property name="invisible">True</property> |
44 <property name="invisible">True</property> |
| |
45 </object> |
| |
46 </child> |
| |
47 <child type="tag"> |
| |
48 <object class="GtkTextTag" id="tags.filtered_visible"> |
| |
49 <property name="invisible">False</property> |
| 45 </object> |
50 </object> |
| 46 </child> |
51 </child> |
| 47 <child type="tag"> |
52 <child type="tag"> |
| 48 <object class="GtkTextTag" id="tags.match"> |
53 <object class="GtkTextTag" id="tags.match"> |
| 49 <property name="background_rgba">rgb(255,175,175)</property> |
54 <property name="background_rgba">rgb(255,175,175)</property> |
| 50 <property name="weight">700</property> |
55 <property name="weight">700</property> |
| |
56 </object> |
| |
57 </child> |
| |
58 <child type="tag"> |
| |
59 <object class="GtkTextTag" id="tags.paused"> |
| |
60 <property name="invisible">True</property> |
| 51 </object> |
61 </object> |
| 52 </child> |
62 </child> |
| 53 </object> |
63 </object> |
| 54 <object class="GtkTextBuffer" id="buffer"> |
64 <object class="GtkTextBuffer" id="buffer"> |
| 55 <property name="tag_table">message-format</property> |
65 <property name="tag_table">message-format</property> |