📄 themeformat.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
<title>Theme File Format</title>
<meta name="AUTHOR" content="Manish Hatwalne">
</head>
<body>
<font color="#000066" size="7">Theme file format</font>
<p>You can use custom theme files with this demo application to specify you choice of
color combination and fonts. The theme file you write should have an extension <code>.thm</code>
or <code>.theme</code> so that it can be displayed in the file dialog with "Theme files" filter.
However, the application can read any text file with or without any extension as long as
it is specified in the format given below. You can have as many themes as you want, each in
a separate file, in the format shown below. Note that, none of these values is mandatory,
you can skip them if you want to use the default values. To skip the value simply omit
the complete line, or comment it by prepending it with a <code>#</code> symbol. </p>
<h2><font color="#000066">A theme file</font></h2>
<pre>
# This is a comment in a property file
# Theme file must have .thm or .theme extension for file dialog filters
# This is an example of a Theme contained in a property file.
# Use a CustomTheme object to load it.
# font style values - (1)Font.BOLD (2)Font.ITALIC (3)Font.PLAIN (4)Font.BOLD|Font.ITALIC
name=Graceful Gray
primary1=66,99,99
primary2=192,192,192
primary3=132,132,132
secondary1=0,0,0
secondary2=99,99,99
secondary3=102,102,102
controlfont=Monospaced,Font.BOLD,13
titlefont=Verdana,Font.BOLD,15
</pre>
<br><hr>
<center><a href="theme.html"><img src="home.gif" width="64" height="64" alt="Home" border="0"><br><b>Home</b></a></center>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -