Add button bar for future property panes.
Fix selection bug.
Adjust margins.
Renaming.
Add property pane in Tab.
Add widget for snippet properties in Tab.
Merge branch 'ui-extensions' into develop