ags: sync

- workspace indicator: no more goofy notch, now cairo-drawn to ensure accuracy and maintain animations
- made notification icons a bit smaller

.config/ags/widgets/overview/overview.js

@@ -330,7 +330,8 @@ const OverviewRow = ({ startWorkspace, workspaces, windowName = 'overview' }) =>
 export const SearchAndWindows = () => {
     var _appSearchResults = [];
 
-    const clickOutsideToClose = Widget.EventBox({
+    const ClickToClose = ({ ...props }) => Widget.EventBox({
+        ...props,
         onPrimaryClick: () => App.closeWindow('overview'),
         onSecondaryClick: () => App.closeWindow('overview'),
         onMiddleClick: () => App.closeWindow('overview'),
@@ -506,9 +507,12 @@ export const SearchAndWindows = () => {
 
     return Widget.Box({
         vertical: true,
-        className: 'overview-window',
         children: [
-            clickOutsideToClose,
+            ClickToClose({ // Top margin. Also works as a click-outside-to-close thing
+                child: Widget.Box({
+                    className: 'bar-height',
+                })
+            }),
             Widget.Box({
                 hpack: 'center',
                 children: [