diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-22 14:03:01 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-22 14:19:40 +0200 |
| commit | 66420ea45b7d4f99820850a60273335f13f2bb28 (patch) | |
| tree | 04c860635d6496a7cb6b93e9bff2ff7f7523c246 /plugingui/tabwidget.cc | |
| parent | 648e44f1e19531e9849a536d7589f918b58494b1 (diff) | |
Remove unnecessary painter clears.
Diffstat (limited to 'plugingui/tabwidget.cc')
| -rw-r--r-- | plugingui/tabwidget.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugingui/tabwidget.cc b/plugingui/tabwidget.cc index 5082b5b..06e7425 100644 --- a/plugingui/tabwidget.cc +++ b/plugingui/tabwidget.cc @@ -84,7 +84,6 @@ void TabWidget::sizeChanged(int width, int height) std::size_t logo_padding_right = button_padding_left / 2; Painter p(*this); - p.clear(); if(buttons.size() > 0) { |