2014-05-04 18:53:17 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2014-05-07 04:13:00 +00:00
|
|
|
<interface domain="gtk30">
|
2014-05-04 18:53:17 +00:00
|
|
|
<object class="GtkTextTagTable" id="tags">
|
|
|
|
<child type="tag">
|
|
|
|
<object class="GtkTextTag">
|
|
|
|
<property name="name">warning</property>
|
|
|
|
<property name="underline">single</property>
|
|
|
|
</object>
|
|
|
|
<object class="GtkTextTag">
|
|
|
|
<property name="name">error</property>
|
|
|
|
<property name="underline">error</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
<object class="GtkTextBuffer" id="text">
|
|
|
|
<property name="tag-table">tags</property>
|
|
|
|
<signal name="changed" handler="text_changed"/>
|
|
|
|
</object>
|
2014-05-07 03:24:20 +00:00
|
|
|
<template class="GtkInspectorCssEditor" parent="GtkBox">
|
2014-05-04 18:53:17 +00:00
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkToolbar" id="toolbar">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="icon-size">small-toolbar</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkToggleToolButton" id="disable_button">
|
|
|
|
<property name="visible">True</property>
|
2014-05-20 16:33:19 +00:00
|
|
|
<property name="icon-name">media-playback-pause-symbolic</property>
|
2014-05-07 04:13:00 +00:00
|
|
|
<property name="tooltip-text" translatable="yes">Disable this custom CSS</property>
|
2014-05-04 18:53:17 +00:00
|
|
|
<signal name="toggled" handler="disable_toggled"/>
|
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-31 00:35:43 +00:00
|
|
|
<child>
|
|
|
|
<object class="GtkToolButton" id="save_button">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="icon-name">document-save-symbolic</property>
|
|
|
|
<property name="tooltip-text" translatable="yes">Save the current CSS</property>
|
|
|
|
<signal name="clicked" handler="save_clicked"/>
|
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-04 18:53:17 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkScrolledWindow">
|
|
|
|
<property name="visible">True</property>
|
2014-10-11 04:23:21 +00:00
|
|
|
<property name="hscrollbar-policy">never</property>
|
|
|
|
<property name="vscrollbar-policy">automatic</property>
|
2014-05-04 18:53:17 +00:00
|
|
|
<property name="expand">True</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkTextView" id="view">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="buffer">text</property>
|
|
|
|
<property name="wrap-mode">word</property>
|
2014-10-07 04:42:21 +00:00
|
|
|
<property name="monospace">True</property>
|
2014-05-04 18:53:17 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</template>
|
|
|
|
</interface>
|