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
re
Hello list,
i have written some ui files which are compiled through make [1]. 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") [2]
But if