69 lines
3.0 KiB
XML
69 lines
3.0 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<template class="IdeEditorWorkspace" parent="IdeWorkspace">
|
|
<child type="titlebar">
|
|
<object class="IdeHeaderBar">
|
|
<property name="show-close-button">true</property>
|
|
<property name="show-fullscreen-button">false</property>
|
|
<property name="menu-id">ide-editor-workspace-menu</property>
|
|
<property name="visible">true</property>
|
|
<child type="primary">
|
|
<object class="IdeSurfacesButton" id="surface_menu_button">
|
|
<property name="focus-on-click">false</property>
|
|
<property name="menu-id">ide-editor-workspace-surfaces-menu</property>
|
|
<property name="show-accels">true</property>
|
|
<property name="show-arrow">true</property>
|
|
<property name="show-icons">true</property>
|
|
<!-- disable transitions since they'll cause jitter with the
|
|
whole surface changing below it. -->
|
|
<property name="transitions-enabled">false</property>
|
|
<property name="has-tooltip">true</property>
|
|
<property name="tooltip-text" translatable="yes">Switch surface</property>
|
|
</object>
|
|
</child>
|
|
<child type="secondary">
|
|
<object class="DzlPriorityBox">
|
|
<property name="visible">true</property>
|
|
<child>
|
|
<object class="IdeSearchButton" id="search_button">
|
|
<property name="visible">true</property>
|
|
<child internal-child="entry">
|
|
<object class="DzlSuggestionEntry">
|
|
<property name="max-width-chars">20</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="pack-type">end</property>
|
|
<property name="priority">-200</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkRevealer">
|
|
<property name="reveal-child">false</property>
|
|
<property name="transition-type">slide-left</property>
|
|
<property name="visible">true</property>
|
|
<child>
|
|
<object class="IdeNotificationsButton" id="notifications_button">
|
|
<property name="show-theatric">false</property>
|
|
<property name="visible">true</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="pack-type">end</property>
|
|
<property name="priority">-300</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</template>
|
|
<object class="DzlShortcutTooltip" id="search_tooltip">
|
|
<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>
|