Documentation toolview: remove margins around findbar and web view

Authored by kossebau on Aug 6 2017, 12:37 AM.

Description

Documentation toolview: remove margins around findbar and web view

Matches margin handling in document view

Details

Committed
kossebauAug 6 2017, 12:37 AM
Parents
R32:47f298ae33b8: [Feature] Enable per-project setting of source formatters
Branches
Unknown
Tags
Unknown