After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 745918 - add padding to textview in CSS section of GtkInspector
add padding to textview in CSS section of GtkInspector
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Debugging
3.15.x
Other Linux
: Normal normal
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2015-03-09 20:04 UTC by Bastian Ilsø
Modified: 2015-03-10 18:08 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
screenshot demonstrating lack of padding. (323.46 KB, image/jpeg)
2015-03-09 20:04 UTC, Bastian Ilsø 		Details

Description Bastian Ilsø 2015-03-09 20:04:51 UTC 
Created attachment 298913 [details]
screenshot demonstrating lack of padding.

In comparison to fx. gedit's gtksourceview, it seems there is no padding in the CSS section of the GTK Inspector. This causes the text to almost touch the border of the window. Would be a nice little visual enhancement to to add the few millimeter padding.
Comment 1 Matthias Clasen 2015-03-09 23:36:40 UTC 
sure, thats possible