device manager - add spinners while devices are signing out (#9433)

2022-10-17 17:14:49 +02:00 · 2022-10-17 17:14:49 +02:00 · 877c95df8f
commit 877c95df8f
parent 72d7939afc
4 changed files with 42 additions and 3 deletions
--- a/res/css/components/views/settings/devices/_FilteredDeviceList.pcss
+++ b/res/css/components/views/settings/devices/_FilteredDeviceList.pcss
@ -45,4 +45,8 @@ limitations under the License.

 .mx_FilteredDeviceList_headerButton {
    flex-shrink: 0;
+    // override inline button styling
+    display: flex !important;
+    flex-direction: row;
+    gap: $spacing-8;
 }