diff options
| -rw-r--r-- | src/gui/widgets/tabbedarea.cpp | 3 | ||||
| -rw-r--r-- | src/gui/widgets/tabbedarea.h | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/gui/widgets/tabbedarea.cpp b/src/gui/widgets/tabbedarea.cpp index 6a579d792..10150654e 100644 --- a/src/gui/widgets/tabbedarea.cpp +++ b/src/gui/widgets/tabbedarea.cpp @@ -177,7 +177,8 @@ gcn::Widget *TabbedArea::getCurrentWidget() const return nullptr; } -void TabbedArea::addTab(Tab *const tab, gcn::Widget *const widget) +void TabbedArea::addTab(Tab *restrict const tab, + gcn::Widget *restrict const widget) { if (!tab || !widget) return; diff --git a/src/gui/widgets/tabbedarea.h b/src/gui/widgets/tabbedarea.h index 449d8c51a..6584747c6 100644 --- a/src/gui/widgets/tabbedarea.h +++ b/src/gui/widgets/tabbedarea.h @@ -94,7 +94,8 @@ class TabbedArea final : public Widget2, * @param tab The tab widget for the tab. * @param widget The widget to view when the tab is selected. */ - void addTab(Tab *const tab, gcn::Widget *const widget); + void addTab(Tab *restrict const tab, + gcn::Widget *restrict const widget); void addTab(const std::string &caption, gcn::Widget *const widget); |