enh: Configuration of font size

Bug #526722 reported by Anders Bo Rasmussen
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TKDO
Incomplete
Undecided
Unassigned

Bug Description

It would be good if it was possible to change the font size used in the GUI.

Revision history for this message
Selene ToyKeeper (toykeeper) wrote :

This is already possible by using GTK configuration.

For example, in my $HOME/.gtkrc-2.0, I have:

style "user-font"
{
  font_name="Verdana 9"
}
widget_class "*" style "user-font"

This sets everything to the same font, but you could do more specific customization too.

Is this sufficient for your needs?

Changed in tkdo:
status: New → Incomplete
Revision history for this message
Anders Bo Rasmussen (i-launchpad2010-fuzz-dk) wrote :

Yes. Thanks. Now I got the text so large I can see it. Sorry for my late reply the mail got into my spam-folder :(

Maybe this could be documented somewhere?
Is there someway to get a complete list of what is configurable this way?

Revision history for this message
Selene ToyKeeper (toykeeper) wrote :

I'm not very familiar with gtkrc commands, but a quick web search shows several examples of what one could do. Or, you could get more extensive examples by looking at the source of a GTK theme file.

Here is a tutorial:

  http://live.gnome.org/GnomeArt/Tutorials/GtkThemes

... and some reference documentation:

  http://library.gnome.org/devel/gtk/unstable/gtk-Resource-Files.html

... and a couple relatively simple examples of configuring a single app:

  http://xchatdata.net/Using/Gtkrc

This stuff is pretty much beyond the scope of TKDO, but I could include some pointers in a FAQ or other documentation if you think it would help. And if things really need to be easier, I could probably find a way to let the user configure the font directly from within the GUI. But in most cases, I would think the desktop configuration tools (GNOME control center, etc) should be sufficient. TKDO will simply follow the desktop theme settings chosen by the user.

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.