EosTopBar inherits from GtkHeaderBar

A lot of the functionality that we wrote in EosTopBar has been
implemented in GtkHeaderBar in the meantime. Using upstream code is
better because we don't have to maintain it, and can cut ~200 lines out
of our library.

Two discrepancies between the old and new EosTopBar is that the header
bar has now gained a right-click menu on which you can close the app (I
am leaving that in for now, as it's consistent with the other apps) and
there is a separator between the window minimize button and the credits
button. (The separator itself is invisible, but it adds another few
pixels of inter-widget space that weren't there before.)

[endlessm/eos-sdk#3782]

1 files changed, 3 insertions, 0 deletions

diff --git a/data/css/endless-widgets.css b/data/css/endless-widgets.css
index 54b068e..c292204 100644
--- a/data/css/endless-widgets.css
+++ b/data/css/endless-widgets.css
@@ -46,6 +46,8 @@ EosWindow {
     font-size: 11px;
     background-image: -gtk-gradient(linear, center top, center bottom,
         from(#464646), to(#1e1e1e));
+    padding-left: 7px;
+    padding-right: 7px;
 }
 
 .top-bar.unmaximized {
@@ -61,6 +63,7 @@ EosWindow {
     border-radius: 2px;
     color: #8c8c8c;
     icon-shadow: 0px -1px alpha(black, 0.25);
+    padding: 4px;
 }
 
 .top-bar .button:backdrop {