📄 menu.jxp
字号:
<%
// Java Plug-in Framework (JPF)
// Copyright (C) 2004 - 2005 Dmitry Olshansky
// $Id: menu.jxp,v 1.1 2005/03/08 12:14:14 ddimon Exp $
%>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>Menu</title>
<link rel ="stylesheet" type="text/css" href="<%= relativePath %>/stylesheet.css" title="Style">
</head>
<body>
<table width="100%" height="100%" cellspacing="2" cellpadding="2" border="0">
<tr>
<td class="navbar" nowrap><a href="<%= relativePath %>/overview.html" target="mainFrame">Overview</a></td>
<td class="navbar" nowrap><a href="<%= relativePath %>/allplugins.html" target="mainFrame">Plug-ins</a></td>
<td class="navbar" nowrap><a href="<%= relativePath %>/allfragments.html" target="mainFrame">Plug-in fragments</a></td>
<td class="navbar" nowrap><a href="<%= relativePath %>/allextpoints.html" target="mainFrame">Extension points</a></td>
<td class="navbar" nowrap><a href="<%= relativePath %>/allexts.html" target="mainFrame">Extensions</a></td>
<td class="navbar" nowrap><a href="<%= relativePath %>/tree.html" target="mainFrame">Tree</a></td>
</tr>
</table>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -