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-12-22 20:54:02 +01:00
|
|
|
<property name="upper">4000</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>
|
2018-07-30 12:35:30 +02:00
|
|
|
<property name="use_action_appearance">True</property>
|
2018-07-19 15:47:57 +02:00
|
|
|
<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>
|
2018-07-30 12:35:30 +02:00
|
|
|
<object class="GtkRadioButton" id="cairo-pdf-radio">
|
2018-07-19 15:47:57 +02:00
|
|
|
<property name="label" translatable="yes">Render PDF using Cairographics</property>
|
2018-07-30 12:35:30 +02:00
|
|
|
<property name="use_action_appearance">True</property>
|
2018-07-19 15:47:57 +02:00
|
|
|
<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>
|
2018-07-30 12:35:30 +02:00
|
|
|
<child>
|
|
|
|
<object class="GtkRadioButton" id="cairo-svg-radio">
|
2018-08-01 12:36:31 +02:00
|
|
|
<property name="label" translatable="yes">Render SVG using Cairographics (too buggy at the moment)</property>
|
2018-07-30 12:35:30 +02:00
|
|
|
<property name="use_action_appearance">True</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">2</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
2018-07-19 15:47:57 +02:00
|
|
|
<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-12-22 20:54:02 +01:00
|
|
|
<property name="fill_level">4000</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>
|
2018-07-30 12:35:30 +02:00
|
|
|
<property name="position">3</property>
|
2018-07-19 15:47:57 +02:00
|
|
|
</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>
|
2018-07-30 12:35:30 +02:00
|
|
|
<property name="position">4</property>
|
2018-07-19 22:09:58 +02:00
|
|
|
</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>
|
2018-07-30 12:35:30 +02:00
|
|
|
<property name="position">5</property>
|
2018-07-19 22:09:58 +02:00
|
|
|
</packing>
|
|
|
|
</child>
|
2018-12-22 19:37:57 +01:00
|
|
|
<child>
|
|
|
|
<object class="GtkDrawingArea" id="shape-drawer">
|
2018-12-22 20:54:02 +01:00
|
|
|
<property name="height_request">200</property>
|
2018-12-22 19:37:57 +01:00
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
2019-03-04 20:14:21 +01:00
|
|
|
<property name="expand">True</property>
|
2018-12-22 19:37:57 +01:00
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">6</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
2018-12-22 20:54:02 +01:00
|
|
|
<child>
|
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="x-label">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">True</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">0</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="y-label">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">True</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">1</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">7</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
2019-03-04 20:14:21 +01:00
|
|
|
<child>
|
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="x-output-label">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">True</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">0</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="y-output-label">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">True</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">1</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">8</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
2018-07-19 15:05:44 +02:00
|
|
|
</object>
|
|
|
|
</interface>
|