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'
Small bug-fix.
Merge branch 'feature/widget_entry_implementation' into 'develop'
Merge branch 'develop' into 'feature/widget_scrollbar_implementation'
Widget scrollbar updated.