Performance: do not draw header bar bottom border

It is not even noticable and reduces performance by having more pixels to redraw every frame.
This commit is contained in:
Rafostar
2020-12-02 10:56:19 +01:00
parent 6cc07c4e98
commit 4cb743b931
2 changed files with 4 additions and 0 deletions

View File

@@ -8,6 +8,7 @@ class ClapperHeaderBar extends Gtk.HeaderBar
super._init({ super._init({
can_focus: false, can_focus: false,
}); });
this.add_css_class('noborder');
this.set_title_widget(this._createWidgetForWindow(window)); this.set_title_widget(this._createWidgetForWindow(window));
let clapperWidget = window.get_child(); let clapperWidget = window.get_child();

View File

@@ -152,6 +152,9 @@ scale marks {
.nobackground { .nobackground {
background: none; background: none;
} }
.noborder {
border: none;
}
.controlsbox { .controlsbox {
background: @theme_bg_color; background: @theme_bg_color;
} }