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:31 commits, 20 PRs, 6 pushes in 1 year 4 months
Contributions summary:Andrea significantly contributed to the user interface of the dash-to-dock extension. Their work focused on enhancing the visual elements and functionality of the dock, including adding a notification badge to application icons, implementing a progress bar, and improving the overall theming. The user also addressed code quality and maintainability by fixing signal connections to avoid memory leaks. They also implemented the integration of the launcher API to display additional information about running applications.
gnome-shelldockgnomelinux
The operating environment for everywhere. Lomiri development has moved to https://gitlab.com/ubports/development/core/lomiri
Role in this project:
Front-end Developer Contributions:55 commits in 3 months
Contributions summary:Andrea primarily focused on UI/UX enhancements within the Unity8 environment. Their contributions include implementing a "grabbing" cursor for window decorations, improving the tooltip design and functionality, and adding tests for tooltip behavior. They also refactored the launcher tooltip layout logic, improving the overall user experience and made changes in the DesktopSpread.qml file.
dotfilesoperatinglinux