Taskbar: TaskbarWidget doesn't need a custom paint_event().

This commit is contained in:
Andreas Kling 2019-04-04 01:50:04 +02:00
parent 96104b5524
commit e785dda3e7
Notes: sideshowbarker 2024-07-19 14:49:52 +09:00
2 changed files with 0 additions and 10 deletions

View File

@ -22,11 +22,3 @@ TaskbarWidget::TaskbarWidget(WindowList& window_list, GWidget* parent)
TaskbarWidget::~TaskbarWidget()
{
}
void TaskbarWidget::paint_event(GPaintEvent& event)
{
GFrame::paint_event(event);
GPainter painter(*this);
painter.add_clip_rect(event.rect());
}

View File

@ -10,7 +10,5 @@ public:
virtual const char* class_name() const override { return "TaskbarWidget"; }
private:
virtual void paint_event(GPaintEvent&) override;
WindowList& m_window_list;
};