2018-07-19 15:05:44 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<!-- Generated with glade 3.22.1 -->
|
|
|
|
<interface>
|
|
|
|
<requires lib="gtk+" version="3.20"/>
|
|
|
|
<object class="GtkAdjustment" id="adjustment1">
|
|
|
|
<property name="lower">1</property>
|
2018-07-19 22:09:58 +02:00
|
|
|
<property name="upper">3000</property>
|
2018-07-19 15:05:44 +02:00
|
|
|
<property name="value">1000</property>
|
|
|
|
<property name="step_increment">10</property>
|
|
|
|
<property name="page_increment">1000</property>
|
|
|
|
</object>
|
2018-07-19 15:47:57 +02:00
|
|
|
<object class="GtkBox" id="dialog-box">
|
2018-07-19 15:05:44 +02:00
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
2018-07-19 15:47:57 +02:00
|
|
|
<property name="orientation">vertical</property>
|
2018-07-19 15:05:44 +02:00
|
|
|
<child>
|
2018-07-19 15:47:57 +02:00
|
|
|
<object class="GtkRadioButton" id="latex-radio">
|
|
|
|
<property name="label" translatable="yes">Generate LaTeX/TikZ output</property>
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="receives_default">False</property>
|
|
|
|
<property name="active">True</property>
|
|
|
|
<property name="draw_indicator">True</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">0</property>
|
|
|
|
</packing>
|
2018-07-19 15:05:44 +02:00
|
|
|
</child>
|
2018-07-19 15:47:57 +02:00
|
|
|
<child>
|
|
|
|
<object class="GtkRadioButton" id="cairo-radio">
|
|
|
|
<property name="label" translatable="yes">Render PDF using Cairographics</property>
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="receives_default">False</property>
|
|
|
|
<property name="active">True</property>
|
|
|
|
<property name="draw_indicator">True</property>
|
|
|
|
<property name="group">latex-radio</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">1</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
2018-07-19 16:38:52 +02:00
|
|
|
<object class="GtkScale" id="dialog-scale">
|
2018-07-19 15:47:57 +02:00
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="adjustment">adjustment1</property>
|
2018-07-19 16:38:52 +02:00
|
|
|
<property name="round_digits">0</property>
|
|
|
|
<property name="digits">0</property>
|
2018-07-19 15:05:44 +02:00
|
|
|
</object>
|
2018-07-19 15:47:57 +02:00
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">2</property>
|
|
|
|
</packing>
|
2018-07-19 15:05:44 +02:00
|
|
|
</child>
|
2018-07-19 22:09:58 +02:00
|
|
|
<child>
|
|
|
|
<object class="GtkCheckButton" id="standalone-check">
|
|
|
|
<property name="label" translatable="yes">Configure LaTeX as standalone document</property>
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="receives_default">False</property>
|
|
|
|
<property name="draw_indicator">True</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">3</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkCheckButton" id="layer-check">
|
|
|
|
<property name="label" translatable="yes">Generate PDF Layers</property>
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="receives_default">False</property>
|
|
|
|
<property name="draw_indicator">True</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">4</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
2018-07-19 15:05:44 +02:00
|
|
|
</object>
|
|
|
|
</interface>
|