2020-03-29 21:13:35 -03:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<interface>
|
|
|
|
<template class="CcMultitaskingPanel" parent="CcPanel">
|
2022-01-19 13:15:26 -03:00
|
|
|
<child type="content">
|
2022-01-06 18:14:46 -08:00
|
|
|
<object class="AdwPreferencesPage">
|
|
|
|
|
2020-03-29 21:13:35 -03:00
|
|
|
<child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<object class="AdwPreferencesGroup">
|
|
|
|
<property name="title" translatable="yes">General</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Hot Corner -->
|
2020-03-29 21:13:35 -03:00
|
|
|
<child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">hot_corner_switch</property>
|
|
|
|
<property name="title" translatable="yes">_Hot Corner</property>
|
|
|
|
<property name="subtitle" translatable="yes">Touch the top-left corner to open the Activities Overview.</property>
|
|
|
|
<property name="use_underline">True</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
<child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<object class="GtkSwitch" id="hot_corner_switch">
|
|
|
|
<property name="valign">center</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<child type="artwork">
|
2022-02-28 11:23:48 +01:00
|
|
|
<object class="GtkPicture" id="hot_corner_picture">
|
2022-01-06 18:14:46 -08:00
|
|
|
<property name="hexpand">True</property>
|
|
|
|
<property name="halign">center</property>
|
|
|
|
<property name="margin-top">18</property>
|
|
|
|
<property name="margin-bottom">18</property>
|
|
|
|
<property name="margin-start">18</property>
|
|
|
|
<property name="margin-end">18</property>
|
|
|
|
<property name="can-shrink">False</property>
|
|
|
|
<property name="file">resource:///org/gnome/control-center/multitasking/assets/hot-corner.svg</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Active Screen Edges -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">active_screen_edges_switch</property>
|
|
|
|
<property name="title" translatable="yes">_Active Screen Edges</property>
|
|
|
|
<property name="subtitle" translatable="yes">Drag windows against the top, left, and right screen edges to resize them.</property>
|
|
|
|
<property name="use_underline">True</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
<child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<object class="GtkSwitch" id="active_screen_edges_switch">
|
|
|
|
<property name="valign">center</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<child type="artwork">
|
2022-02-28 11:23:48 +01:00
|
|
|
<object class="GtkPicture" id="active_screen_edges_picture">
|
2022-01-06 18:14:46 -08:00
|
|
|
<property name="hexpand">True</property>
|
|
|
|
<property name="halign">center</property>
|
|
|
|
<property name="margin-top">18</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
<property name="margin-bottom">18</property>
|
2022-01-06 18:14:46 -08:00
|
|
|
<property name="margin-start">18</property>
|
|
|
|
<property name="margin-end">18</property>
|
|
|
|
<property name="can-shrink">False</property>
|
|
|
|
<property name="file">resource:///org/gnome/control-center/multitasking/assets/active-screen-edges.svg</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<child>
|
|
|
|
<object class="AdwPreferencesGroup">
|
|
|
|
<property name="title" translatable="yes">Workspaces</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Dynamic Workspaces -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">dynamic_workspaces_radio</property>
|
|
|
|
<property name="title" translatable="yes">_Dynamic workspaces</property>
|
|
|
|
<property name="subtitle" translatable="yes">Automatically removes empty workspaces.</property>
|
|
|
|
<property name="use_underline">True</property>
|
|
|
|
<child type="prefix">
|
|
|
|
<object class="GtkCheckButton" id="dynamic_workspaces_radio">
|
|
|
|
<property name="valign">center</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Fixed Number of Workspaces -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">fixed_workspaces_radio</property>
|
|
|
|
<property name="title" translatable="yes">_Fixed number of workspaces</property>
|
|
|
|
<property name="subtitle" translatable="yes">Specify a number of permanent workspaces.</property>
|
|
|
|
<property name="use_underline">True</property>
|
|
|
|
<child type="prefix">
|
|
|
|
<object class="GtkCheckButton" id="fixed_workspaces_radio">
|
|
|
|
<property name="valign">center</property>
|
|
|
|
<property name="group">dynamic_workspaces_radio</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Number of Workspaces -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="sensitive" bind-source="fixed_workspaces_radio" bind-property="active" bind-flags="default|sync-create" />
|
|
|
|
<property name="activatable-widget">number_of_workspaces_spin</property>
|
|
|
|
<property name="title" translatable="yes">_Number of Workspaces</property>
|
|
|
|
<property name="use_underline">True</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
<child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<object class="GtkSpinButton" id="number_of_workspaces_spin">
|
|
|
|
<property name="valign">center</property>
|
|
|
|
<property name="adjustment">workspaces_adjustment</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<child>
|
|
|
|
<object class="AdwPreferencesGroup">
|
|
|
|
<property name="title" translatable="yes">Multi-Monitor</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Primary Display -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">workspaces_primary_display_radio</property>
|
|
|
|
<property name="title" translatable="yes">Workspaces on _primary display only</property>
|
|
|
|
<property name="use_underline">True</property>
|
|
|
|
<child type="prefix">
|
|
|
|
<object class="GtkCheckButton" id="workspaces_primary_display_radio">
|
|
|
|
<property name="valign">center</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
<child type="artwork">
|
|
|
|
<object class="GtkPicture">
|
|
|
|
<property name="hexpand">True</property>
|
|
|
|
<property name="halign">center</property>
|
|
|
|
<property name="margin-top">18</property>
|
|
|
|
<property name="margin-bottom">18</property>
|
|
|
|
<property name="margin-start">18</property>
|
|
|
|
<property name="margin-end">18</property>
|
|
|
|
<property name="can-shrink">False</property>
|
|
|
|
<property name="file">resource:///org/gnome/control-center/multitasking/assets/workspaces-primary-display.svg</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Span Displays -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">workspaces_span_displays_radio</property>
|
|
|
|
<property name="title" translatable="yes">Workspaces on all d_isplays</property>
|
|
|
|
<property name="use_underline">True</property>
|
|
|
|
<child type="prefix">
|
|
|
|
<object class="GtkCheckButton" id="workspaces_span_displays_radio">
|
|
|
|
<property name="valign">center</property>
|
|
|
|
<property name="group">workspaces_primary_display_radio</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child type="artwork">
|
|
|
|
<object class="GtkPicture">
|
|
|
|
<property name="hexpand">True</property>
|
|
|
|
<property name="halign">center</property>
|
|
|
|
<property name="margin-top">18</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
<property name="margin-bottom">18</property>
|
2022-01-06 18:14:46 -08:00
|
|
|
<property name="margin-start">18</property>
|
|
|
|
<property name="margin-end">18</property>
|
|
|
|
<property name="can-shrink">False</property>
|
|
|
|
<property name="file">resource:///org/gnome/control-center/multitasking/assets/workspaces-span-displays.svg</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<child>
|
|
|
|
<object class="AdwPreferencesGroup">
|
2023-01-23 06:24:23 +00:00
|
|
|
<property name="title" translatable="yes">App Switching</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- All Workspaces -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">all_workspaces_radio</property>
|
2023-01-23 06:24:23 +00:00
|
|
|
<property name="title" translatable="yes">Include apps from all _workspaces</property>
|
2022-01-06 18:14:46 -08:00
|
|
|
<property name="use_underline">True</property>
|
|
|
|
<child type="prefix">
|
|
|
|
<object class="GtkCheckButton" id="all_workspaces_radio">
|
|
|
|
<property name="valign">center</property>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
|
2022-01-06 18:14:46 -08:00
|
|
|
<!-- Current Workspace -->
|
|
|
|
<child>
|
|
|
|
<object class="CcMultitaskingRow">
|
|
|
|
<property name="activatable-widget">current_workspace_radio</property>
|
2023-01-23 06:24:23 +00:00
|
|
|
<property name="title" translatable="yes">Include apps from the _current workspace only</property>
|
2022-01-06 18:14:46 -08:00
|
|
|
<property name="use_underline">True</property>
|
|
|
|
<child type="prefix">
|
|
|
|
<object class="GtkCheckButton" id="current_workspace_radio">
|
|
|
|
<property name="valign">center</property>
|
|
|
|
<property name="group">all_workspaces_radio</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
|
|
|
|
</object>
|
|
|
|
</child>
|
2022-01-06 18:14:46 -08:00
|
|
|
|
2020-03-29 21:13:35 -03:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</template>
|
|
|
|
|
|
|
|
<object class="GtkAdjustment" id="workspaces_adjustment">
|
|
|
|
<property name="lower">1.0</property>
|
|
|
|
<property name="step-increment">1.0</property>
|
|
|
|
<property name="value">4.0</property>
|
|
|
|
<!-- 36 is the maximum value allowed by Mutter -->
|
|
|
|
<property name="upper">36.0</property>
|
|
|
|
</object>
|
|
|
|
</interface>
|