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

Facultative vertical tab to extension integration #455

Merged
merged 16 commits into from Oct 12, 2022
Merged

Facultative vertical tab to extension integration #455

merged 16 commits into from Oct 12, 2022

Conversation

ghost
Copy link

@ghost ghost commented Oct 12, 2022

This is the PR related to the issue : #446

@rafaelmardojai

@ghost
Copy link
Author

ghost commented Oct 12, 2022

i have let the comment in some css to let user tweak it if they want (or remove it if they want).

@ghost
Copy link
Author

ghost commented Oct 12, 2022

@rafaelmardojai i have done the change asked, have have also merged your last change (105.0.1), have tested it also seem to work)

@ghost ghost requested a review from rafaelmardojai October 12, 2022 16:30
@ghost ghost requested a review from rafaelmardojai October 12, 2022 17:15
@rafaelmardojai rafaelmardojai merged commit 9971946 into rafaelmardojai:master Oct 12, 2022
dgsasha pushed a commit to dgsasha/dg-firefox-theme that referenced this pull request Oct 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant