Luca Favini

Thank you for the report, there was a typo in the setting, I fixed it in #91. The update will be released soon. **I think** The "sharpness" depends on the...

> I am working on custom spacing in settings Added in https://github.com/Favo02/workspaces-by-open-apps/pull/93, update will be released on GNOME extensions store soon.

Thank you for the feedback! Adding customization to icons appearance makes perfect sense, but it requires a bit of work, I'll try to implement it as soon as possible. I...

Added in #93, update will be released on GNOME extensions store soon.

The PR needs to wait a bit because the function `Opium.Response.add_cookie_or_replace` seems to not work with `same_site` attribute. I opened an issue ([opium issue #290](https://github.com/rgrinberg/opium/issues/290)) and waiting an answer, I...

I see, I edited the function but forgot to edit the `.mli` interface, I am stupid. As soon as I have a few spare minutes I will try again

Thank you again for the report. I never used the extension in a vertical panel, so I think the issue is related to that. I will try to investigate and...

Thank you for the suggestion and sorry for the **very long** wait. This looks very interesting but I'm afraid pretty complicated to implement. I will keep the issue updated.

Thank you for the report and sorry for the long wait. The issue is easily reproducible and I will try to find a workaround in the next days. I will...

Thank you for the feedback! I agree, the workspace renaming mechanism is pretty bad. I will try to improve it in the next update, the _Space Bar_ extension you mentioned...