summaryrefslogtreecommitdiff
path: root/src/gui
diff options
context:
space:
mode:
Diffstat (limited to 'src/gui')
-rw-r--r--src/gui/widgets/tabbedarea.cpp3
-rw-r--r--src/gui/widgets/tabbedarea.h3
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);