Decrease indentation in open-document view

Authored by mwolff on Sep 5 2016, 12:36 PM.

Description

Decrease indentation in open-document view

Details

Committed
mwolffSep 5 2016, 12:44 PM
Parents
R32:0c9e858d5b6d: Introduce per-project colorization for the document switcher.
Branches
Unknown
Tags
Unknown