isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
757501b33a
gnome-shell/subprojects/extensions-app/data/ui/extensions-window.ui

318 lines
14 KiB
Plaintext
Raw Normal View History

extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<?xml version="1.0" encoding="UTF-8"?>
<interface>
<requires lib="gtk+" version="3.20"/>
extensionPrefs: Add standard app elements In order to turn the extensions-prefs tool into a proper GNOME app, it should follow basic app patterns, so add a primary menu and about dialog. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 05:51:35 +00:00
<menu id="primary-menu">
<section>
<item>
<attribute name="label" translatable="yes">Help</attribute>
<attribute name="action">win.show-help</attribute>
</item>
<item>
<attribute name="label" translatable="yes">About Extensions</attribute>
<attribute name="action">win.show-about</attribute>
</item>
</section>
</menu>
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
<object class="GtkPopover" id="infoPopover">
<child>
<object class="GtkBox">
<property name="orientation">vertical</property>
extensions-app: Stop using :margin shortcut The property has been removed in GTK4, so prepare for a port by setting the four individual margin properties instead. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="margin-start">12</property>
<property name="margin-end">12</property>
<property name="margin-top">12</property>
<property name="margin-bottom">12</property>
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
<property name="spacing">6</property>
<child>
<object class="GtkLabel">
<property name="label" translatable="yes">To find and add extensions, visit &lt;a href="https://extensions.gnome.org"&gt;extensions.gnome.org&lt;/a&gt;.</property>
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="use-markup">True</property>
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
<property name="xalign">0</property>
</object>
</child>
<child>
<object class="GtkLabel">
<property name="label" translatable="yes">Warning</property>
<property name="xalign">0</property>
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="margin-top">6</property>
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
<attributes>
<attribute name="weight" value="bold"/>
</attributes>
</object>
</child>
<child>
<object class="GtkLabel">
<property name="label" translatable="yes">Extensions can cause system issues, including performance problems. If you encounter problems with your system, it is recommended to disable all extensions.</property>
<property name="wrap">True</property>
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="max-width-chars">40</property>
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
<property name="xalign">0</property>
</object>
</child>
</object>
</child>
</object>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<template class="ExtensionsWindow" parent="GtkApplicationWindow">
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="default-width">800</property>
<property name="default-height">500</property>
extensions-app: Set title on window instead of headerbar GTK4 will remove the GtkHeaderBar:title property, so stop using it and set the window's title property instead, as that's what headbars use in both GTK3 and GTK4 unless explicitly overridden. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="title" translatable="yes">Extensions</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<child type="titlebar">
<object class="GtkHeaderBar">
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
<child>
<object class="GtkMenuButton">
<property name="popover">infoPopover</property>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="icon-name">dialog-information-symbolic</property>
extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:00:37 +00:00
</object>
</child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<child type="end">
extensionPrefs: Add standard app elements In order to turn the extensions-prefs tool into a proper GNOME app, it should follow basic app patterns, so add a primary menu and about dialog. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 05:51:35 +00:00
<object class="GtkMenuButton" id="menuButton">
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="receives-default">True</property>
<property name="menu-model">primary-menu</property>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="icon-name">open-menu-symbolic</property>
extensionPrefs: Add standard app elements In order to turn the extensions-prefs tool into a proper GNOME app, it should follow basic app patterns, so add a primary menu and about dialog. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 05:51:35 +00:00
</object>
</child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<child type="end">
extensions-app: Add extension filtering It's possible for the list of installed extension to get long enough to make searching more convenient than scrolling. Support that by implementing the standard search pattern[0] with a hidden search bar and a toggle in the headerbar. [0] https://developer.gnome.org/hig/stable/search.html.en https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3382
2020-11-11 01:37:20 +00:00
<object class="GtkToggleButton" id="searchButton">
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="receives-default">True</property>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="icon-name">edit-find-symbolic</property>
extensions-app: Add extension filtering It's possible for the list of installed extension to get long enough to make searching more convenient than scrolling. Support that by implementing the standard search pattern[0] with a hidden search bar and a toggle in the headerbar. [0] https://developer.gnome.org/hig/stable/search.html.en https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3382
2020-11-11 01:37:20 +00:00
<child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<object class="GtkShortcutController">
<property name='scope'>global</property>
<child>
<object class='GtkShortcut'>
<property name='trigger'>&lt;Control&gt;f</property>
<property name='action'>activate</property>
</object>
</child>
<child>
<object class='GtkShortcut'>
<property name='trigger'>&lt;Control&gt;s</property>
<property name='action'>activate</property>
</object>
</child>
extensions-app: Add extension filtering It's possible for the list of installed extension to get long enough to make searching more convenient than scrolling. Support that by implementing the standard search pattern[0] with a hidden search bar and a toggle in the headerbar. [0] https://developer.gnome.org/hig/stable/search.html.en https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3382
2020-11-11 01:37:20 +00:00
</object>
</child>
</object>
</child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<child type="end">
extensionPrefs: Hook up kill switch to D-Bus property Now that the org.gnome.Shell.Extensions interface exposes the disable-user-extensions setting on D-Bus, we can use that instead of the shell's GSettings. In a future where we distribute the app separately as flatpak, this will require one less hole in the sandbox. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1081
2020-03-05 17:46:18 +00:00
<object class="GtkSwitch">
<property name="action-name">win.user-extensions-enabled</property>
extensions-app: Do not expand headerbar switch https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2563
2020-04-02 15:19:55 +00:00
<property name="valign">center</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</object>
</child>
</object>
</child>
<child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<object class="GtkBox">
<property name="orientation">vertical</property>
extensions-app: Add extension filtering It's possible for the list of installed extension to get long enough to make searching more convenient than scrolling. Support that by implementing the standard search pattern[0] with a hidden search bar and a toggle in the headerbar. [0] https://developer.gnome.org/hig/stable/search.html.en https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3382
2020-11-11 01:37:20 +00:00
<child>
<object class="GtkSearchBar" id="searchBar">
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="key-capture-widget">ExtensionsWindow</property>
extensions-app: Add extension filtering It's possible for the list of installed extension to get long enough to make searching more convenient than scrolling. Support that by implementing the standard search pattern[0] with a hidden search bar and a toggle in the headerbar. [0] https://developer.gnome.org/hig/stable/search.html.en https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3382
2020-11-11 01:37:20 +00:00
<property name="search-mode-enabled"
bind-source="searchButton"
bind-property="active"
bind-flags="bidirectional"/>
<child>
<object class="GtkSearchEntry" id="searchEntry">
<property name="max-width-chars">35</property>
</object>
</child>
</object>
</child>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<object class="GtkStack" id="mainStack">
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="transition-type">crossfade</property>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<property name="vexpand">True</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<object class="GtkStackPage">
<property name="name">main</property>
<property name="child">
<object class="GtkScrolledWindow" id="scrolledWindow">
<property name="hscrollbar-policy">never</property>
extensionPrefs: Split user and system extensions Until now, it didn't matter whether an extension was installed in the user's home or system-wide. However with support for uninstallation, there is now a significant different, as that action is only available for user extensions. Account for that by separating extensions by type, so that users don't have to second-guess which extensions can be fully-managed and which appear as part of the system. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 07:08:05 +00:00
<child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<object class="GtkViewport">
<property name="scroll-to-focus">True</property>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<object class="GtkBox">
<property name="orientation">vertical</property>
<property name="halign">center</property>
<property name="margin-start">36</property>
<property name="margin-end">36</property>
<property name="margin-top">36</property>
<property name="margin-bottom">36</property>
<property name="spacing">12</property>
<child>
<object class="GtkLabel">
<property name="visible"
bind-source="userList"
bind-property="visible"
bind-flags="sync-create"/>
<property name="halign">start</property>
<property name="hexpand">True</property>
<property name="label" translatable="yes">Manually Installed</property>
<attributes>
<attribute name="weight" value="bold"/>
</attributes>
</object>
</child>
<child>
<object class="GtkListBox" id="userList">
<property name="selection-mode">none</property>
<property name="show-separators">True</property>
<property name="margin-bottom">24</property>
<style>
<class name="frame"/>
</style>
</object>
</child>
<child>
<object class="GtkLabel">
<property name="visible"
bind-source="systemList"
bind-property="visible"
bind-flags="sync-create"/>
<property name="halign">start</property>
<property name="hexpand">True</property>
<property name="label" translatable="yes">Built-In</property>
<attributes>
<attribute name="weight" value="bold"/>
</attributes>
</object>
</child>
<child>
<object class="GtkListBox" id="systemList">
<property name="selection-mode">none</property>
<property name="show-separators">True</property>
<style>
<class name="frame"/>
</style>
</object>
</child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
</object>
</child>
extensionPrefs: Don't fill view Extension rows contain both name/description and controls to open preferences and enable/disable the extension. Those elements become disassociated when the row expands too much horizontally, so instead of filling the entire view, switch to the embedded list style[0]. [0] https://developer.gnome.org/hig/stable/lists.html.en https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 06:27:48 +00:00
</object>
</child>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</object>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</object>
</child>
<child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<object class="GtkStackPage">
<property name="name">placeholder</property>
<property name="child">
<object class="GtkBox">
<property name="orientation">vertical</property>
<property name="margin-start">32</property>
<property name="margin-end">32</property>
<property name="margin-top">32</property>
<property name="margin-bottom">32</property>
<property name="spacing">6</property>
<property name="valign">center</property>
<child>
<object class="GtkImage">
<property name="pixel-size">96</property>
<property name="icon-name">org.gnome.Extensions-symbolic</property>
</object>
</child>
<child>
<object class="GtkLabel">
<property name="label" translatable="yes">No Installed Extensions</property>
<attributes>
<attribute name="weight" value="bold"/>
<attribute name="scale" value="1.44"/>
</attributes>
</object>
</child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
</object>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</object>
</child>
<child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<object class="GtkStackPage">
<property name="name">noshell</property>
<property name="child">
<object class="GtkBox">
<property name="margin-start">100</property>
<property name="margin-end">100</property>
<property name="margin-top">100</property>
<property name="margin-bottom">60</property>
<property name="orientation">vertical</property>
<property name="spacing">12</property>
<child>
<object class="GtkLabel">
<property name="label" translatable="yes">Something’s gone wrong</property>
<attributes>
<attribute name="scale" value="1.44"/>
</attributes>
<style>
<class name="dim-label"/>
</style>
</object>
</child>
<child>
<object class="GtkLabel">
<property name="label" translatable="yes">We’re very sorry, but it was not possible to get the list of installed extensions. Make sure you are logged into GNOME and try again.</property>
<property name="justify">center</property>
<property name="wrap">True</property>
<style>
<class name="dim-label"/>
</style>
</object>
</child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
</object>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</object>
</child>
</object>
</child>
<child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<object class="GtkActionBar" id="updatesBar">
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="revealed">False</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<object class="GtkImage">
<property name="pixel-size">24</property>
extensions-app: Stop using :margin shortcut The property has been removed in GTK4, so prepare for a port by setting the four individual margin properties instead. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="margin-start">6</property>
<property name="margin-end">6</property>
<property name="margin-top">6</property>
<property name="margin-bottom">6</property>
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="icon-name">software-update-available-symbolic</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<style>
extensionPrefs: Remove stray > in .ui file This slipped through as GtkBuilder still accepts it, but let's not rely on that and fix our XML. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2180
2020-02-06 19:03:35 +00:00
<class name="warning"/>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</style>
</object>
</child>
<child>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<object class="GtkBox">
<property name="orientation">vertical</property>
<child>
<object class="GtkLabel">
<property name="halign">start</property>
extensions-app: Fix translatable string https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1231
2020-05-01 11:50:34 +00:00
<property name="label" translatable="yes">Extension Updates Ready</property>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<attributes>
<attribute name="weight" value="bold"/>
</attributes>
</object>
</child>
<child>
<object class="GtkLabel" id="updatesLabel">
<property name="halign">start</property>
</object>
</child>
</object>
</child>
Port extensions app and portal to GTK4 With the previous preparations in place, it is time to take the plunge. As both the app and the portal use the same small library for handling external windows, port everything at once to avoid the hassle of building and installing two versions of the library. With the portal using GTK4 now, all extensions must port their preference widgets as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<child type="end">
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<object class="GtkButton">
extensionPrefs: Make the Log Out button a proper verb https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/981
2020-02-05 19:43:59 +00:00
<property name="label" translatable="yes">Log Out…</property>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<property name="valign">center</property>
<property name="action-name">win.logout</property>
extensions-app: Use consistent style for property names GtkBuilder understands both dashes and underscores in property names, and we currently use a mix of both. The actual properties use dashes, so settle on that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
2020-04-15 18:27:15 +00:00
<property name="receives-default">True</property>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
<style>
extensionPrefs: Support extension updates Now that we have support for extension updates in the shell, we need some place to display the updates to the user. As we are establishing the Extensions app as the primary way for managing extensions, it's a natural place for that functionality. Show which extensions have updates available, and offer a log out button (so gnome-shell can apply the updates when logging back in). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 14:20:04 +00:00
<class name="suggested-action"/>
extensionPrefs: Use template for ExtensionsWindow As the window will become more complex, it makes sense to let GtkBuilder construct the UI and focus on the actual implementation. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2019-11-30 01:48:18 +00:00
</style>
</object>
</child>
</object>
</child>
</object>
</child>
</template>
</interface>
Reference in New Issue Copy Permalink