2016-10-07 13:13:59 +00:00
|
|
|
<interface domain="gtk40">
|
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>
|
2015-11-21 00:01:54 +00:00
|
|
|
<property name="underline-rgba">darkorange</property>
|
2014-05-04 18:53:17 +00:00
|
|
|
</object>
|
2015-11-21 00:01:54 +00:00
|
|
|
</child>
|
|
|
|
<child type="tag">
|
2014-05-04 18:53:17 +00:00
|
|
|
<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>
|
2014-11-22 18:26:53 +00:00
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="spacing">6</property>
|
2020-02-26 01:57:20 +00:00
|
|
|
<property name="margin-start">6</property>
|
|
|
|
<property name="margin-end">6</property>
|
|
|
|
<property name="margin-top">6</property>
|
|
|
|
<property name="margin-bottom">6</property>
|
2014-05-04 18:53:17 +00:00
|
|
|
<child>
|
2014-11-22 18:26:53 +00:00
|
|
|
<object class="GtkToggleButton" id="disable_button">
|
2020-04-17 04:20:09 +00:00
|
|
|
<property name="has-frame">0</property>
|
2014-05-07 04:13:00 +00:00
|
|
|
<property name="tooltip-text" translatable="yes">Disable this custom CSS</property>
|
2017-01-13 20:08:59 +00:00
|
|
|
<property name="icon-name">media-playback-pause-symbolic</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>
|
2014-11-22 18:26:53 +00:00
|
|
|
<object class="GtkButton" id="save_button">
|
2020-04-17 04:20:09 +00:00
|
|
|
<property name="has-frame">0</property>
|
2014-05-31 00:35:43 +00:00
|
|
|
<property name="tooltip-text" translatable="yes">Save the current CSS</property>
|
2017-01-13 20:08:59 +00:00
|
|
|
<property name="icon-name">document-save-symbolic</property>
|
2014-05-31 00:35:43 +00:00
|
|
|
<signal name="clicked" handler="save_clicked"/>
|
2014-11-22 18:26:53 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-04 18:53:17 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkScrolledWindow">
|
2014-10-11 04:23:21 +00:00
|
|
|
<property name="hscrollbar-policy">never</property>
|
2020-02-25 23:25:52 +00:00
|
|
|
<property name="hexpand">1</property>
|
|
|
|
<property name="vexpand">1</property>
|
2014-05-04 18:53:17 +00:00
|
|
|
<child>
|
|
|
|
<object class="GtkTextView" id="view">
|
|
|
|
<property name="buffer">text</property>
|
|
|
|
<property name="wrap-mode">word</property>
|
2018-01-18 22:46:58 +00:00
|
|
|
<property name="monospace">1</property>
|
2015-03-10 18:07:27 +00:00
|
|
|
<property name="left-margin">6</property>
|
|
|
|
<property name="right-margin">6</property>
|
2018-01-18 22:46:58 +00:00
|
|
|
<property name="has-tooltip">1</property>
|
2015-11-20 23:18:01 +00:00
|
|
|
<signal name="query-tooltip" handler="query_tooltip_cb"/>
|
2014-05-04 18:53:17 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</template>
|
|
|
|
</interface>
|