Commit 4d6bc66
Hide scroll bar when all tabs are closed
Changed files (2)
Diff
@@ -34,6 +34,11 @@ public class EmptyTab : FontDisplay { return label; } + public override void selected_canvas () {+ MainWindow.hide_scrollbar ();+ GlyphCanvas.redraw ();+ }+ public override void draw (WidgetAllocation allocation, Context cr) { cr.save (); Theme.color (cr, "Default Background");@@ -1507,7 +1507,7 @@ public class OverView : FontDisplay { MainWindow.set_scrollbar_position (pos); if (at_bottom () && first_visible == 0) {- MainWindow.hide_scrollbar (); + MainWindow.hide_scrollbar (); } else { MainWindow.show_scrollbar (); }