46 lines
1.7 KiB
XML
46 lines
1.7 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<template class="IdeTerminalWorkspace" parent="IdeWorkspace">
|
|
<property name="default-width">750</property>
|
|
<property name="default-height">450</property>
|
|
<child type="titlebar">
|
|
<object class="IdeHeaderBar" id="header_bar">
|
|
<property name="show-close-button">true</property>
|
|
<property name="show-fullscreen-button">false</property>
|
|
<property name="menu-id">ide-terminal-workspace-menu</property>
|
|
<property name="visible">true</property>
|
|
<child type="secondary">
|
|
<object class="IdeSearchButton" id="search_button">
|
|
<property name="hexpand">false</property>
|
|
<property name="visible">true</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child internal-child="surfaces">
|
|
<object class="GtkStack" id="surfaces">
|
|
<property name="visible">true</property>
|
|
<child>
|
|
<object class="IdeTerminalSurface">
|
|
<property name="visible">true</property>
|
|
<child>
|
|
<object class="IdeTerminalPage">
|
|
<property name="respawn-on-exit">false</property>
|
|
<property name="visible">true</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="name">terminal</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</template>
|
|
<object class="DzlShortcutTooltip" id="search_shortcut">
|
|
<property name="title" translatable="yes">Search your project</property>
|
|
<property name="command-id">org.gnome.builder.workspace.global-search</property>
|
|
<property name="widget">search_button</property>
|
|
</object>
|
|
</interface>
|