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.

Sign up for GitHub

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

Jump to bottom

automatically restart the Dock after installing the scripting-addition #135

Closed
koekeishiya opened this issue Jul 15, 2019 · 0 comments
Closed

automatically restart the Dock after installing the scripting-addition #135

koekeishiya opened this issue Jul 15, 2019 · 0 comments
Labels
enhancement New feature or request

Comments

@koekeishiya
Copy link
Owner

koekeishiya commented Jul 15, 2019 •
edited
Loading

And tweak notification messages shown to the user.
@koekeishiya koekeishiya added enhancement New feature or request addressed on master; not released Fixed upstream, but not yet released labels Jul 15, 2019
koekeishiya added a commit that referenced this issue Jul 15, 2019
@koekeishiya
#135 restart dock after installing scripting-addition, and tweak info…
57fa9ba 
… messages
koekeishiya added a commit that referenced this issue Jul 15, 2019
@koekeishiya
#135 tweak info messages
c06e544
@koekeishiya koekeishiya mentioned this issue Jul 15, 2019
Closed
koekeishiya added a commit that referenced this issue Jul 15, 2019
@koekeishiya
#135 improve messages
095425e
@koekeishiya koekeishiya removed the addressed on master; not released Fixed upstream, but not yet released label Sep 3, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@koekeishiya