Registered Member
|
I'm trying to alter the default font size of "kdevelop" while running it from the command line in linux (non-KDE). The tool is using the xr11 libraries installed on the server I am using. Our server admin's have installed just the "kdevelop" tool as an optional code edit development environment and it seems to offer some nice to use features but the default font size is too large. The "kdevelop" forum admin directed me to this forum.
There seems to be no way from the "kdevelop" UI to change the default font size for the entire tool, including frame headers, tabs, menus, etc. I'm attempting to run the tool in linux xr11 (non-KDE) environment (from the command line) and would like to specify the font size in the .Xdefaults file if possible or barring that, a command line option. I tried the "-fn" option, described when you execute "kdevelop --help-all" but that did not seem to have an effect (which maybe is because "kdevelop" does not recognize the xr11 font name I was passing). What entry format can be used for the .Xdefaults file or is this not possible at all? Entries in that file have the form like; "objectbench.font: 7x13" but I'm unsure of what "kdevelop" may accept if anything. Any advice would be helpful at this point. |
Mentor
|
RE: How can I set font size when running a KDE tool in a non-KDE environment
Fri Oct 31, 2008 12:43 pm
Can you start
This is the kcm module for font configuration in KDE 3.x Cheers, m. [size=x-small]code | [url=cia.vc/stats/author/msoeken]cia.vc[/url] | [url=kde.org/support]donating KDE[/url] | [url=tinyurl.com/cto4ns]wishlist[/url][/size] |
Registered Member
|
Under kdevelop4, you can use Settings...Configure Editor menu option.
|
Global Moderator
|
I guess the topic is somewhat outdated since the last post was over five years ago.
I'm working on the KDevelop IDE.
|
Registered users: Bing [Bot], daret, Google [Bot], Sogou [Bot]