Re: Default style - no way to set?

[Owen Taylor <otaylor redhat com>]

Olaf Frączyk <olaf cbk poznan pl> writes:

> On Thu, 2002-07-11 at 14:29, Olivier Sessink wrote:
> > On Thu, 11 Jul 2002 10:30:39 +0200 "Olaf Fr" <olaf cbk poznan pl> wrote:
> >
> > > I would like to change default style. I'm interested in font size and
> > > face.
> > > It was possible in gtk 1.2, but in 2.0 this function disappeared (it was
> > > something like gtk_set_default_style). How should I do it?
> >
> > make a theme? this is exactly what themes are for?!?
> This should apply to this application only, not to all.
> And this application must be able to set this, not to depend on
> something external.
> BTW, is it possible to set application to not use themes and rc files?

You can call gtk_rc_parse_string() if an external file is a problem.

If you want to override the user's preferences (and remember,
theming is a large part of accesibility - what's visible
to you may not be visible to someone else), you should be
able to do that with the priority part of a style binding:

 widget "gtk-tooltips*" style : highest "my-mandatory-tooltips-style"
                                ^^^^^^^
Regards,
                                        Owen