Re: Three questions

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.

>
> 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.

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
>


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