On 08/29/2017 11:48 PM, David C. Rankin wrote: > How do you package this snippet of any rcfile and have it read by your > application -- in addition to the default theme in use? (Gtk+2)? > Got it -- gtk_rc_parse (filename); -- David C. Rankin, J.D.,P.E.
On 08/27/2017 04:53 AM, David C. Rankin wrote: > > The problem is the 6px spacing is way to big and the info bar takes up too > much space. I want to set the "button-spacing" style property to 2 (or 1) to > cut down the vertical height. > > How do I set the "button-spacing" style property? >
Indeed I tried your code from Aug 15 and if you insert a character at the beginning of the 3rd or 5th line, the indent/margin disappears. Then if you backspace over that inserted character, the indent/margin re-appears. I tried this in <3.20 and 3.22. Would you consider this a bug? I've never
Hello list, i have written some ui files which are compiled through make . I installed the compiled file in /usr/share/gnome-publisher. Also i used this lines to add stuff from the resource: builder = Gtk.Builder() builder.add_from_resource("/org/gnome/Publisher/ui/main_intro.ui")  But