Re: Three questions

 

cga wrote:

> Bill Thompson wrote:
>
>> I have a self-compiled WindowMaker 0.92.0 running under Mandriva 102. 
>> Here are three questions, I need help with.
>>
>> 1. How to make the fonts inputted to the Run dialog window larger.
>
>
> No clue. For all I know it's hardcoded..
>
>>
>> 2. How to change the Workspace numbering to Roman numbers.
>
>
> . right click on root window -> root menu
> . choose the "workspaces" submenu
> . Ctrl+left click on workspace  entry ->  it becomes highlighted & 
> "editable"
> . type roman numeral
> . hit enter to save the new workspace name
> . repeat for each workspace.

Works as advertised....

>
>>
>> 3. How to make the Workspace numbering larger.
>
>
> Where..? On the clip or on the workspace itself.. transiently 
> displayed when switching workspaces..?
>
> Fonts definitions for wmaker look something like this:
>
> WindowTitleFont      =      
> "-microsoft-verdana-bold-r-normal-*-14-*-*-*-p-*";
> MenuTitleFont        =      
> "-microsoft-verdana-bold-r-normal-*-14-*-*-*-p-*";
> MenuTextFont         =      
> "-microsoft-verdana-bold-r-normal-*-12-*-*-*-p-*";
> ClipTitleFont        =      
> "-microsoft-verdana-bold-r-normal-*-10-*-*-*-p-*";
> IconTitleFont        =      
> "-microsoft-verdana-bold-r-normal-*-8-*-*-*-p-*";
> LargeDisplayFont     =      
> "-microsoft-verdana-bold-r-normal-*-72-*-*-*-p-*";
>
> .. following traditional 'X' specification rules.
>
> The font used to display the workspace when switching is 
> LargeDisplayFont. The one on the Clip is.. ClipTitleFont.
>
> In this example the large display font is 72 points.

LargeDisplayFont was what I was after. I changed the default value of 24 
to 48
and am happy now.

>
> There are various ways to change these fonts.
>
> The way I do it is creating a style file containing something like 
> this for instance:
>
> $ cat ~/fontstyle
>
> {
>  TitleJustify                  =      Right;
>  MenuStyle                     =      flat;
>
>  WindowTitleExtendSpace        =      "-1";
>  MenuTitleExtendSpace          =      "-1";
>  MenuTextExtendSpace           =      "-2";
>
>  WindowTitleFont               =      
> "-*-tahoma-bold-r-*-*-12-*-*-*-*-*-*-*";
>  MenuTitleFont                 =      
> "-*-tahoma-bold-r-*-*-12-*-*-*-*-*-*-*";
>  MenuTextFont                  =      
> "-*-tahoma-bold-r-*-*-11-*-*-*-*-*-*-*";
>  IconTitleFont                 =      
> "-*-tahoma-medium-r-normal-*-10-*-*-*-*-*-*-*";
>  ClipTitleFont                 =      
> "-*-tahoma-bold-r-normal-*-10-*-*-*-*-*-*-*";
>  LargeDisplayFont              =      
> "-*-tahoma-bold-r-normal-*-*-1200-*-*-*-*-*-*";
> }
>
> .. mind the opening & closing brackets..!
>
> and running the following command from a shell prompt:
>
> $ setstyle ~/fontstyle
>
> You can also probably tweak fonts via one of the GUI's 
> (wprefs/wmakerconf..).
>
> It's also possible to edit the wmaker main conf file ("WindowMaker") 
> but you'll prbably need to exit wmaker before doing so.. otherwise I 
> believe wmaker will overwrite the file when exiting and you will lose 
> your changes.
>
>>
>> Thanks,
>>
>> Bill
>>
>
>
>
Two out of three is a great Father's Day present. Thanks.

Bill

-- 
Live long and prosper




-- 
Live long and prosper

_______________________________________________
INFO: https://windowmaker.org/lists/listinfo/wm-user
ARCHIVE: https://windowmaker.org/lists/archive/wm-user/
FAQ: http://windowmaker.org/faq.html