Code::Blocks Forums
User forums => Using Code::Blocks => Topic started by: Michael on March 16, 2006, 01:37:22 pm
-
Hello,
I have a small problem with the font and C::B (rev 2185) on kubuntu. I would like to increase the font size of the menus/toolbars and so on. I have discovered where I can change the font size for the messages and editor, but not for the menus/toolbars. I have tried to set a new size in kcontrol (set at 12p) and then re-start C::B, but it does work.
How can I change the font size for the menus/toolbars/etc. ? Should I re-boot my system may be?
Thank you very much.
Best wishes,
Michael
-
You need a program called gtk-theme-change or something like (sorry, not in linux ATM).
Changing properties in kcontrol will only change for QT apps, and C::B is a GTK app.
You can also use a theme called "GTK-QT", which renders all GTK apps with the current QT theme.
That's what I have from my memories, since I don't use KDE long ago. :P
-
gtk-theme-switch2 maybe?
-
gtk-theme-switch2 maybe?
Yeah, that is more probable, altrough I'm not sure. :P
Anyways, you can always edit at hand your ~/.gtkrc-2.0 configuration file.
-
gtk-theme-switch2 maybe?
Yeah, that is more probable, altrough I'm not sure. :P
Anyways, you can always edit at hand your ~/.gtkrc-2.0 configuration file.
Thank you very much for your help :). What you said probably explain why the font size of the terminal did not change too :). Anyway, I do not have the gtk-theme-switch2, but only the gtk-theme-switch. I suppose that what I have is for GTK+ and not for GTK2+. Anyway, I will give it a try.
Best wishes,
Michael
-
Thank you very much for your help :). What you said probably explain why the font size of the terminal did not change too :). Anyway, I do not have the gtk-theme-switch2, but only the gtk-theme-switch. I suppose that what I have is for GTK+ and not for GTK2+.
Exactly, it's for GTK1.
Just do a sudo apt-get install gtk-theme-switch2 for the GTK2 version.
Anyways, I don't remember if it let you change fonts or only the theme, but if not, edit ~/.gtkrc-2.0 by hand.
-
Just do a sudo apt-get install gtk-theme-switch2 for the GTK2 version.
It seems that I do not have that package available. I get:
E: Couldn't find package gtk-theme-switch2
Best wishes,
Michael
-
Just do a sudo apt-get install gtk-theme-switch2 for the GTK2 version.
It seems that I do not have that package available. I get:
E: Couldn't find package gtk-theme-switch2
Best wishes,
Michael
It seems that it's packaged differently:
gtk-theme-switch
The package contains two binaries, switch and switch2, which respectively are for previewing/installing GTK+ 1.x themes and GTK+ 2.x themes.
So you already have installed gtk-theme-switch2. :)
-
It seems that it's packaged differently:
gtk-theme-switch
The package contains two binaries, switch and switch2, which respectively are for previewing/installing GTK+ 1.x themes and GTK+ 2.x themes.
So you already have installed gtk-theme-switch2. :)
Yes, you are right. I did just read the first 3-4 lines of the package description. Anyway, after installing it, nothing has changed :?. Then I have tried sudo gnome-theme-manager and the font size changed (within other things :D). Now it looks much better (quite too bigger to be honest :D).
Thank you very much for your help.
Best wishes,
Michael
[EDIT]: Funny thing the font in KDE/Gnome. After all the change, gnome applications use on kde the good font size, instead kde applications use a font size relatively bigger. Instead tthe font of e.g., menu title, file name and so on have the same size as the gnome applications. A quite good comprise seems to reduce the font size of kde with kcontrol from 12 to 10.
-
Yes, you are right. I did just read the first 3-4 lines of the package description. Anyway, after installing it, nothing has changed :?. Then I have tried sudo gnome-theme-manager and the font size changed (within other things :D).
Yeah I was about to suggest that, but I was worried about the gnome dependencies. :P
-
Yes, you are right. I did just read the first 3-4 lines of the package description. Anyway, after installing it, nothing has changed :?. Then I have tried sudo gnome-theme-manager and the font size changed (within other things :D).
Yeah I was about to suggest that, but I was worried about the gnome dependencies. :P
Anyway something "funny" happened. See my edit above :D.
Best wishes,
Michael