tree 094957d6b94c46064ffcc842f8ba2544b0854c29
parent 0861f7a87849a41627e06ce79a14351e3f0831a3
author Thomas Shafer <tshafer@google.com> 1551401415 -0800
committer Thomas Shafer <tshafer@google.com> 1551804156 -0800

Add tabs to files area

This allows plugin authors to dynamically add tabs in the same location as the
files list. When there are no dynamically added tabs, the tab header is not
present.

Change-Id: I89170dc84a76e11b430db04acabdaf98b6de4743