Matthias Clasen
|
a5846645d1
|
inspector: Cosmetic fixes
Set scrollbars and shadows consistently.
|
2014-10-11 00:59:36 -04:00 |
|
Matthias Clasen
|
dffceb1a17
|
inspector: Avoid a split pane for objects
Like for the resources page, use a separate page for details
to gain more room for both the tree and the details.
|
2014-10-11 00:59:36 -04:00 |
|
Matthias Clasen
|
a8dc098699
|
inspector: More refactoring
Rename widget tree to object tree. It contains plenty of
non-widgets nowadays, after all.
|
2014-10-11 00:59:36 -04:00 |
|