Martino FerrariandClaude Opus 4.6
6ff7dd786e
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
63 lines
3.1 KiB
XML
63 lines
3.1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!-- SPDX-License-Identifier: MIT -->
|
|
<!-- SPDX-FileCopyrightText: 2026 Martino Ferrari -->
|
|
<!--
|
|
The header bar: the time-window control's slot, the trigger and pause group, and the three at the far end.
|
|
|
|
The bar carries only the controls you reach for *while watching a signal*; everything you set up once lives
|
|
in the overflow menu, which is code — its rows act on the `RowSet` directly and one of them is a toggle
|
|
whose state the rest of the interface reads, so a `GMenu` model would only add a second copy of that state.
|
|
|
|
The order is the file's, and it is the one thing here that is not self-evident: `pack_end()` lays its
|
|
children out right to left, so a `<child type="end">` is added leftwards-from-the-right in document order
|
|
and the screen reads the reverse of it — cursors, sidebar, menu.
|
|
|
|
The first start child is a slot and not the control: the time-window control is code (its menu's rows come
|
|
from the buffer's limits), and `gtk_header_bar_pack_start()` appends *after* whatever a file has already
|
|
packed, so a control added by code would land to the right of this whole group instead of at its head.
|
|
|
|
There is no events control here: the event list is the `events` page of the slide-over, reached by the dock's
|
|
Manage button.
|
|
-->
|
|
<interface>
|
|
<object class="GtkHeaderBar" id="header_bar">
|
|
<child type="start">
|
|
<object class="GtkBox" id="window_control_slot">
|
|
<property name="orientation">horizontal</property>
|
|
</object>
|
|
</child>
|
|
<child type="start">
|
|
<object class="GtkToggleButton" id="trigger_toggle">
|
|
<property name="icon-name">udpscope-trigger-symbolic</property>
|
|
<property name="tooltip-text" translatable="yes">trigger mode: freeze the view and show one captured event at a time</property>
|
|
</object>
|
|
</child>
|
|
<child type="start">
|
|
<object class="GtkToggleButton" id="pause_button">
|
|
<property name="icon-name">media-playback-pause-symbolic</property>
|
|
<property name="tooltip-text" translatable="yes">pause acquisition</property>
|
|
</object>
|
|
</child>
|
|
<child type="end">
|
|
<object class="GtkMenuButton" id="menu_button">
|
|
<property name="icon-name">open-menu-symbolic</property>
|
|
<property name="tooltip-text" translatable="yes">view options</property>
|
|
</object>
|
|
</child>
|
|
<child type="end">
|
|
<object class="GtkToggleButton" id="sidebar_toggle">
|
|
<property name="icon-name">udpscope-measure-symbolic</property>
|
|
<property name="tooltip-text" translatable="yes">show the readouts dock (cursors, measurements, events)</property>
|
|
<property name="active">1</property>
|
|
</object>
|
|
</child>
|
|
<child type="end">
|
|
<object class="GtkToggleButton" id="cursors_toggle">
|
|
<property name="icon-name">udpscope-cursors-symbolic</property>
|
|
<property name="tooltip-text" translatable="yes">the cursor instruments: two times, two levels, or the two read off each trace where they cross</property>
|
|
<property name="active">0</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</interface>
|