On Sat, Jun 30, 2018 at 12:38 PM, Chris Moller <mol...@mollerware.com>
wrote:
...but I can't figure it out: How do I make a tiny little button,
like 10x10 pixels, gtk_widget_set_size_request (button, 10, 10);
doesn't work. gtk_widget_size_allocate (GtkWidget *widget,
GtkAllocation *allocation); doesn't work. ( can't make anything work
using CSS. Nothing seems to work.
A GtkButton is a container with a single child (see:
<https://developer.gnome.org/gtk3/stable/GtkButton.html#GtkButton.object-hierarchy>),
so you need to make its child's size less than 10px and then reduce the
button's margin, border and padding right down as well.
But you really shouldn't do that, unless you're writing an app only
yourself will use. :)
//Mike
--
⊨ Michael Gratton, Percept Wrangler.
⚙ <http://mjog.vee.net/>
_______________________________________________
gtk-list mailing list
gtk-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gtk-list
