Matthias Clasen
|
142efd186d
|
Inspector: Preserve selection when rescanning
We are semiregularly repopulating the object tree. Whenever
we do, we loose the selection, needlessly. Do the extra work
to preserve it.
http://bugzilla.gnome.org/show_bug.cgi?id=753130
|
2015-08-02 15:20:17 -04:00 |
|
Matthias Clasen
|
70c3241bd3
|
inspector: Improve tab switching
Switch the object and resource trees away from activate-on-single-click
and add a 'view details' button.
|
2014-10-24 21:14:16 -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 |
|