search

micheleg / dash-to-dock

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.
https://micheleg.github.io/dash-to-dock/
GNU General Public License v2.0
3.82k stars 463 forks source link

Add to Change Border radius #2230

Open hcica opened 3 weeks ago

hcica commented 3 weeks ago

add option in settings for change border radius.