Timm Bäder
c301357627
inspector: Remove object_title from css editor
...
It's unused
2016-10-16 18:17:21 +02:00
Matthias Clasen
74f3d7f6d3
Switch gettext domain from gtk30 to gtk40
2016-10-07 10:34:50 -04:00
Matthias Clasen
df55412ba2
inspector: Fix css warning tags
...
The builder syntax for tags was invalid here (why did this not
get flagged as error ?!). While we're at it, give the warning
underline a nice, orange color.
2015-11-20 20:35:39 -05:00
Matthias Clasen
ad49103b93
inspector: Show css parsing errors
...
The squiggly underline is useful, but seeing the error message
is much better, so show it in a tooltip.
2015-11-20 18:18:01 -05:00
Matthias Clasen
073a9c9cd5
inspector: Add some margin to css editor
...
Requested in
https://bugzilla.gnome.org/show_bug.cgi?id=745918
2015-03-10 14:07:27 -04:00
Matthias Clasen
18799d22cf
inspector: Fix focus in css editor
...
Give the text view initial focus, so things work as expected
when switching to the css editor for the first time.
2014-12-10 22:39:50 -05:00
Matthias Clasen
fe5f9c560b
inspector: Show object title in the css tab
2014-11-22 21:38:47 -05:00
Matthias Clasen
9a6aa8db68
inspector: Cosmetics
...
Add .image-button to the tool buttons in the CSS editor - still
not square.
2014-10-11 08:15:07 -04:00
Matthias Clasen
a5846645d1
inspector: Cosmetic fixes
...
Set scrollbars and shadows consistently.
2014-10-11 00:59:36 -04:00
Matthias Clasen
d2c0f37a69
inspector: Cosmetic fixes
...
Add a missing shadow in the css editor.
2014-10-11 00:59:36 -04:00
Matthias Clasen
0c02bc4239
Inspector: Use the new monospace support
2014-10-07 00:42:21 -04:00
Matthias Clasen
6a9ea3487e
inspector: Support saving CSS
...
We have a file chooser, lets use it.
2014-05-30 20:35:43 -04:00
Yosef Or Boczko
65c9e2a651
inspector: Use symbolic icon everywhere
...
https://bugzilla.gnome.org/show_bug.cgi?id=730465
2014-05-20 16:21:28 -04:00
Matthias Clasen
59c9d24bbf
inspector: stop being a module
...
Moving the inspector into libgtk lets use reuse internals without
having to add public API for everything or inventing awkward private
call conventions.
https://bugzilla.gnome.org/show_bug.cgi?id=730095
2014-05-14 21:23:44 -04:00
