[gtk: 11/11] Merge branch 'wip/exalm/polish' into 'master'

[Matthias Clasen <matthiasc src gnome org>]

commit c953e3cc0f913d0d1527e4bf593990d12af3843d
Merge: 513fe87391 83319a3ea6
Author: Matthias Clasen <mclasen redhat com>
Date:   Sun Oct 24 19:04:48 2021 +0000

    Merge branch 'wip/exalm/polish' into 'master'
    
    A few inspector papercut fixes
    
    See merge request GNOME/gtk!4092

 gtk/inspector/controllers.c    |  1 +
 gtk/inspector/css-editor.ui    | 15 ++++++------
 gtk/inspector/inspector.css    | 54 ++++++++++--------------------------------
 gtk/inspector/prop-list.ui     |  1 +
 gtk/inspector/recorder.ui      | 26 +++++++-------------
 gtk/inspector/resource-list.ui |  4 ++++
 gtk/inspector/tree-data.ui     |  9 +++----
 gtk/inspector/window.ui        | 53 ++++++++++-------------------------------
 8 files changed, 52 insertions(+), 111 deletions(-)
---