mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-20 04:48:06 +01:00
08e811aae7
This was we internally only deal with fc names and properties. It will incur a small performance hit as the font needs to be parsed/unparsed, but this is only for backward-compatibility to support old xlfd names. People are encouraged to swtich to fontconfig names. - WINGs no longer adds sans as a fallback for internal fonts. It is automatically done by fontconfig (if it can't find the requested font it will use the closest match which is the default font: sans-serif) - Added code to honor the AntialiasesText global option - Fixed style names for WMCopyFontWithStyle() - Added fonts in style files where they were missing. Also changed some fonts to better defaults.
31 lines
1.3 KiB
Plaintext
31 lines
1.3 KiB
Plaintext
{
|
|
WindowTitleFont = "Trebuchet MS,Luxi Sans:bold:pixelsize=12";
|
|
MenuTitleFont = "Trebuchet MS,Luxi Sans:bold:pixelsize=12";
|
|
MenuTextFont = "Trebuchet MS,Luxi Sans:pixelsize=12";
|
|
IconTitleFont = "Arial,Luxi Sans:pixelsize=9";
|
|
ClipTitleFont = "Verdana:bold:pixelsize=10";
|
|
DisplayFont = "Trebuchet MS,Luxi Sans:pixelsize=12";
|
|
LargeDisplayFont = "Trebuchet MS,Luxi Sans:pixelsize=24";
|
|
TitleJustify = center;
|
|
HighlightColor = white;
|
|
HighlightTextColor = black;
|
|
ClipTitleColor = white;
|
|
CClipTitleColor = gray60;
|
|
FTitleColor = white;
|
|
PTitleColor = white;
|
|
UTitleColor = gray20;
|
|
FTitleBack = (thgradient, BlueImage.jpeg, 140, "rgb:30/32/3e", black);
|
|
PTitleBack = (thgradient, BlueImage.jpeg, 140, "rgb:70/72/7e", "rgb:45/47/4e");
|
|
UTitleBack = (thgradient, BlueImage.jpeg, 100, white, "rgb:9e/94/80");
|
|
ResizebarBack = (thgradient, BlueImage.jpeg, 100, white, "rgb:9e/94/80");
|
|
MenuTitleColor = white;
|
|
MenuTextColor = white;
|
|
MenuDisabledColor = gray60;
|
|
MenuTitleBack = (thgradient, BlueImage.jpeg, 140, "rgb:30/32/3e", black);
|
|
MenuTextBack = (thgradient, BlueImage.jpeg, 140, "rgb:50/5a/5e", "rgb:20/2a/2e");
|
|
IconBack = (tdgradient, BlueImage.jpeg, 140, "rgb:30/32/3e", black);
|
|
IconTitleColor = white;
|
|
IconTitleBack = "#20202e";
|
|
MenuStyle = normal;
|
|
}
|