diff options
author | Julian Eisel <eiseljulian@gmail.com> | 2018-10-30 00:55:54 +0300 |
---|---|---|
committer | Julian Eisel <eiseljulian@gmail.com> | 2018-10-30 00:59:57 +0300 |
commit | a0d40c6a8c42c774d9286b5de0d80167c1d55fde (patch) | |
tree | 9f5bfb8c74e789a277a0ed1fea031728d9702a4c /source/tools | |
parent | 39a1d4527950fe32b9a421ce366b012a5fe1fa79 (diff) |
UI: Move Properties editor context path into header
This will probably be a temporary solution to fill empty space, for until we
have a search button there. Hence, I made this optional using a compile flag.
Diffstat (limited to 'source/tools')
0 files changed, 0 insertions, 0 deletions