Fix tabbed editor unnecessary border
Merge branch 'develop' of https://github.com/pydio/pydio-core into develop