Matthias Clasen
|
351559fcfa
|
Simplify all ui files again
Now even simpler!
|
2018-01-18 17:53:44 -05:00 |
|
Timm Bäder
|
132f2721ce
|
inspector: Use GtkButton:icon-name in ui files
|
2017-01-16 17:22:38 +01:00 |
|
Matthias Clasen
|
74f3d7f6d3
|
Switch gettext domain from gtk30 to gtk40
|
2016-10-07 10:34:50 -04:00 |
|
Matthias Clasen
|
360bad6865
|
inspector: Some ui refinements
Remove pointless expanders from lists, add grid lines and,
in some places, tree lines.
|
2016-03-05 00:29:06 -05:00 |
|
Matthias Clasen
|
e9449f6014
|
inspector: Don't grow horizontally
Labels in the object tree are application data. Ellipsize them
to avoid growing extremely wide if the data is bogus.
|
2015-11-10 17:36:33 -05:00 |
|
Matthias Clasen
|
354536d464
|
inspector: Use some of the new GtkSearchEntry API
Avoid repetitive, manual event handling in various places
in GtkInspector.
|
2015-01-24 08:44:30 -05:00 |
|
Matthias Clasen
|
3c997239e9
|
inspector: Search refinements
Show close buttons on all search bars.
|
2014-10-31 21:14:09 -04:00 |
|
Matthias Clasen
|
992c5f0dd6
|
inspector: Add search to the object tree
This is also an attempt to figure out a better story for search
in treeviews.
|
2014-10-31 21:02:50 -04:00 |
|
Matthias Clasen
|
bd031b89c1
|
inspector: Add style classes to the object list
We have a lot of space here now, so show some
useful information.
|
2014-10-25 10:00:39 -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
|
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 |
|