Skip to content

Dock manager styles #4638

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

Merged
merged 5 commits into from
Sep 13, 2023
Merged

Dock manager styles #4638

merged 5 commits into from
Sep 13, 2023

Conversation

epetrow
Copy link
Contributor

@epetrow epetrow commented Jul 31, 2023

@epetrow epetrow added the Enhancement New feature of an existing functionality or an improvement of an existing functionality. label Jul 31, 2023
@epetrow epetrow added this to the 2023.3 milestone Jul 31, 2023
@epetrow epetrow self-assigned this Jul 31, 2023
@epetrow epetrow force-pushed the dock-manager-styles branch 3 times, most recently from aeb6804 to acfa46d Compare August 2, 2023 15:27
@epetrow epetrow force-pushed the dock-manager-styles branch 7 times, most recently from b93840c to 245e017 Compare August 15, 2023 11:43
@epetrow epetrow force-pushed the dock-manager-styles branch 7 times, most recently from 61db48b to 4d0eca7 Compare August 22, 2023 14:40
@epetrow epetrow marked this pull request as ready for review August 22, 2023 14:59
@epetrow epetrow requested a review from a team as a code owner August 22, 2023 14:59
@epetrow epetrow requested review from Juveniel and inikolova August 22, 2023 15:00
@epetrow epetrow force-pushed the dock-manager-styles branch 5 times, most recently from dfe57d8 to 527de4d Compare August 23, 2023 14:53
@epetrow epetrow force-pushed the dock-manager-styles branch 8 times, most recently from 5af51cd to 8241b0f Compare August 25, 2023 11:54
@epetrow epetrow marked this pull request as draft August 25, 2023 12:50
@Juveniel Juveniel force-pushed the dock-manager-styles branch 3 times, most recently from a984bef to 25d7601 Compare September 5, 2023 12:33
@Juveniel Juveniel marked this pull request as ready for review September 5, 2023 12:44
@epetrow epetrow marked this pull request as draft September 12, 2023 10:39
@inikolova inikolova self-requested a review September 12, 2023 11:04
@Juveniel Juveniel marked this pull request as ready for review September 13, 2023 06:09
@Juveniel Juveniel merged commit d6a3102 into develop Sep 13, 2023
@Juveniel Juveniel deleted the dock-manager-styles branch September 13, 2023 08:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement New feature of an existing functionality or an improvement of an existing functionality.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants