|
|
|
@ -966,15 +966,23 @@
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<property name="spacing">5</property>
|
|
|
|
<property name="spacing">5</property>
|
|
|
|
<child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkTreeView" id="treeViewKernel">
|
|
|
|
<object class="GtkScrolledWindow">
|
|
|
|
|
|
|
|
<property name="height-request">150</property>
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can-focus">True</property>
|
|
|
|
<property name="can-focus">True</property>
|
|
|
|
<child internal-child="selection">
|
|
|
|
<property name="shadow-type">in</property>
|
|
|
|
<object class="GtkTreeSelection"/>
|
|
|
|
<child>
|
|
|
|
|
|
|
|
<object class="GtkTreeView" id="treeViewKernel">
|
|
|
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
|
|
|
<property name="can-focus">True</property>
|
|
|
|
|
|
|
|
<child internal-child="selection">
|
|
|
|
|
|
|
|
<object class="GtkTreeSelection"/>
|
|
|
|
|
|
|
|
</child>
|
|
|
|
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<packing>
|
|
|
|
<property name="expand">False</property>
|
|
|
|
<property name="expand">True</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="fill">True</property>
|
|
|
|
<property name="position">0</property>
|
|
|
|
<property name="position">0</property>
|
|
|
|
</packing>
|
|
|
|
</packing>
|
|
|
|
|
