A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
Role in this project:
Front-end Developer Contributions:17 reviews, 1684 commits, 175 PRs in 10 years 1 month
Contributions summary:Michele focused on developing and refining the user interface for the GNOME Shell dock extension. Their contributions primarily involved modifying the `dockedDash.js` file to customize the dock's appearance and functionality, including adding styles for the different dock positions, handling animations, and implementing new features. Key features implemented include custom styles for running apps with specific style classes and the introduction of a windows preview feature in the menu to enhance user experience. They also handled the general improvements.
gnome-shelldockgnomelinux
Contributions:9 commits in 2 years