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

wip: Edge dock #194

Draft
wants to merge 4 commits into
base: master
Choose a base branch
from
Draft

wip: Edge dock #194

wants to merge 4 commits into from

Conversation

hedning
Copy link
Member

@hedning hedning commented Oct 27, 2019 •
edited by jtaala
Loading

Fixes #50.

Make gnome-shelled tiled windows docked.

image

@hedning hedning changed the title Edge dock wip: Edge dock Oct 27, 2019
@hedning hedning mentioned this pull request Nov 10, 2019
Open
@hedning hedning mentioned this pull request Mar 9, 2020
Open
@hedning hedning mentioned this pull request Sep 22, 2020
Closed
@smichel17 smichel17 marked this pull request as draft August 15, 2022 13:37
@smichel17 smichel17 mentioned this pull request Sep 7, 2022
Closed
@jtaala jtaala added the help wanted Don't hesitate to participate! label Apr 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
help wanted Don't hesitate to participate!
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@hedning @jtaala