-
Notifications
You must be signed in to change notification settings - Fork 262
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
Pop-Shell disrupts theme use #230
Labels
enhancement
New feature or request
Milestone
Comments
mmstick
pushed a commit
that referenced
this issue
May 7, 2020
Issue: Pop Shell reverts the shell theme to the default shell theme on startup. New Behavior: Allow using custom themes with Pop Shell. Stop reverting custom themes back to the default theme. Fix all interactions with dark and light themes revolving around custom themes. Origin: #271 Closes #230, Closes #231
mmstick
pushed a commit
that referenced
this issue
May 7, 2020
Issue: Pop Shell reverts the shell theme to the default shell theme on startup. New Behavior: Allow using custom themes with Pop Shell. Stop reverting custom themes back to the default theme. Fix all interactions with dark and light themes revolving around custom themes. Origin: #271 Closes #230, Closes #231
mmstick
pushed a commit
that referenced
this issue
May 7, 2020
Issue: Pop Shell reverts the shell theme to the default shell theme on startup. New Behavior: Allow using custom themes with Pop Shell. Stop reverting custom themes back to the default theme. Fix all interactions with dark and light themes revolving around custom themes. Origin: #271 Closes #230, Closes #231
mmstick
pushed a commit
that referenced
this issue
May 7, 2020
Issue: Pop Shell reverts the shell theme to the default shell theme on startup. New Behavior: Allow using custom themes with Pop Shell. Stop reverting custom themes back to the default theme. Fix all interactions with dark and light themes revolving around custom themes. Origin: #271 Closes #230, Closes #231
mmstick
pushed a commit
that referenced
this issue
May 7, 2020
Issue: Pop Shell reverts the shell theme to the default shell theme on startup. New Behavior: Allow using custom themes with Pop Shell. Stop reverting custom themes back to the default theme. Fix all interactions with dark and light themes revolving around custom themes. Origin: #271 Closes #230, Closes #231
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Distribution (run
cat /etc/os-release
):NAME="Manjaro Linux"
ID=manjaro
ID_LIKE=arch
PRETTY_NAME="Manjaro Linux"
ANSI_COLOR="1;32"
HOME_URL="https://www.manjaro.org/"
SUPPORT_URL="https://www.manjaro.org/"
BUG_REPORT_URL="https://bugs.manjaro.org/"
LOGO=manjarolinux
Related Application and/or Package Version (run
apt policy pop-shell
or provide the latest commit if building locally):commit:
16b4c33
Issue/Bug Description:
it appears that while using a non-default theme, this disrupts the look of my current theme to be a mix of the default theme (Adwaita) and my theme of choice, Orchis (https://github.com/vinceliuice/Orchis-theme)
Steps to reproduce (if you know):
Launch with non default theme, can be fixed if theme is disabled then re-enabled or if the system is locked and then logged back into.
Expected behavior:
No effect on the theme.
The text was updated successfully, but these errors were encountered: