gedit: remove border top from bottom panel
gedit: remove border top from bottom panel

DoctorJellyface/gnome-themes-standard,Distrotech/gnome-themes-standard,Distrotech/gnome-themes-standard,DoctorJellyface/gnome-themes-standard