Martin

For future reference, the cognito groups are stored in the id_token under 'cognito:groups' when authenticating. Unsure how to get them for each user.

@amezin I've taken an initial stab at this here https://github.com/ddterm/gnome-shell-extension-ddterm/pull/889 There's still a bit more work to do (tests, etc) but let me know what you think when you can...

> Instead of "horizontal"/"vertical size" settings I'd prefer "primary" and "secondary size" or something like that. When I change window position from top to right, and the width was 100%...

> > It should. I just tried it and seems to work fine on my end, though I do get a second resizing happening for some reason (i.e. first it...

Thank you! I've pushed an update with a few changes: 1. Changed prefs dialog from "Window horizontal/vertical size" to "Window width/height". For now this is purely in the dialog while...

> It would be a bit easier if you kept `window-size` setting as is, i.e. to always be the "primary size". Because you wouldn't need to modify tests in this...

By the way, if you have time and can provide any pointers or tips to get me in the right direction on the below issue, that would be really useful...

> @martinn Sorry, have you given up? (To be honest, I tried to solve this issue once, and given up) > > BTW, if tests are failing, but in real...