Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compatibility with "Quick Settings Audio Panel" extension #10

Open
Ana06 opened this issue Feb 27, 2024 · 2 comments
Open

Compatibility with "Quick Settings Audio Panel" extension #10

Ana06 opened this issue Feb 27, 2024 · 2 comments
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@Ana06
Copy link

Ana06 commented Feb 27, 2024

When using this extension together with Quick Settings Audio Panel, it does not hide the devices in the application view. It would be nice if they would be hidden as well so that the general and app view are consistent.

image

image

I am not sure if I should report this here or to Quick Settings Audio Panel but I would really like to use this two extensions together and that the devices in all views look the same.

@marcinjahn
Copy link
Owner

Hi @Ana06 This repo is probably more suitable for this issue.
Extensions touching the same areas of the Shell is pretty much always an issue, this case is a great example of that.

I just installed the Quick Settings Audio Panel extension, and, surprisingly, the hiding functionality still works. I think in this case it's the matter of timing. Depending on which extension gets activated first when your PC boots, the hiding functionality might work, or might not. Maybe just adding a short delay to my extension would be enough? I'm not sure though if extensions are started sync or async, which impacts whether delay has any chance to work. I'll have to check that in Gnome Shell code.

@marcinjahn
Copy link
Owner

@Ana06, I initially misunderstood the issue. Now I see that Quick Settings Audio Panel has two panels with audio, and one of them is "out of sync".

I will not work on that, but I'd accept a PR for it.

@marcinjahn marcinjahn added enhancement New feature or request help wanted Extra attention is needed labels Feb 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

2 participants