Merge branch 'develop' into 'feature/widget_scrollbar_implementation'
Update in the slider logic of the widget scrollbar.
Merge branch 'develop' into 'feature/widget_splitter_implementation'
Widget splitter updated.
Merge branch 'feature/widget_scrollbar_implementation' into 'develop'
Merge branch 'feature/widget_splitter_implementation' into 'develop'