Re: [Sqlrelay-discussion] How to reduce the font size in sqlr-config-gtk

[David M. <dav...@fi...>]

The font size isn't hardcoded anywhere, but that program is really old
and uses gtk-1.2 I think, an ancient version of gtk which has it's own
themes and font settings that aren't compatible with modern gtk themes.

There is some way to configure it's font settings, I think with a .gtkrc
file or maybe a .gtkrc-1.2 file or something like that.  But really,
that program just needs to be updated to use a modern toolkit and the
layout needs to be reformatted.  I have items on the todo list for that
but haven't gotten around to them yet.

I'm surprised about the segfault.  I'll look into that right away and
let you know what I find.

David Muse
dav...@fi...

On Thu, 2008-06-26 at 16:00 +0100, Frank Joerdens wrote:
> My laptop does 1280x800 but that doesn't work when running
> /usr/bin/sqlr-config-gtk since not all fields are visible - it's cut
> off at the top and at the bottom (works with a larger external monitor
> that does 1280x1024). It doesn't respond to any Gnome font settings.
> Is the font size hard coded somewhere? If so, where? Then I could just
> recompile with a smaller font. Otherwise, where would I configure the
> font size so that the entire applet would become visible onscreen with
> 1280x800?
> 
> Also, it segfaults when creating a new file on Ubuntu Hardy, or when
> creating a new connection on Debian/lenny.
> 
> Cheers, Frank
> 
> -------------------------------------------------------------------------
> Check out the new SourceForge.net Marketplace.
> It's the best place to buy or sell services for
> just about anything Open Source.
> http://sourceforge.net/services/buy/index.php
> _______________________________________________
> Sqlrelay-discussion mailing list
> Sql...@li...
> https://lists.sourceforge.net/lists/listinfo/sqlrelay-discussion
> 
> 
> __________________________________________________
> D O T E A S Y - "Join the web hosting revolution!"
>              http://www.doteasy.com



__________________________________________________
D O T E A S Y - "Join the web hosting revolution!"
             http://www.doteasy.com