📄 editor.jsp

📁 cms是开源的框架

💻 JSP

字号:

<%@ page session="false" import="
	org.opencms.workplace.editors.*,
	org.opencms.jsp.*
"%><%
	CmsJspActionElement cms = new CmsJspActionElement(pageContext, request, response);
	CmsEditorFrameset wp = new CmsEditorFrameset(cms);

%><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=<%= wp.getEncoding() %>">
<title>(<%= wp.getSettings().getUser().getName() %>) - <%= wp.getParamEditorTitle() %></title>
<script type="text/javascript">
<!--
	// change window name when opening editor in direct edit mode 
	// to avoid loss of content when previewing another resource in Explorer view
	if (window.name == "preview") {
		window.name = "editor_directedit";
	}
//-->
</script>
</head>

<frameset rows="*,24,0" border="0" frameborder="0" framespacing="0">
    <frame <%= wp.getFrameSource("edit", cms.link("editor_main.jsp?" + wp.allParamsAsRequest())) %> noresize scrolling="no">
    <frame <%= wp.getFrameSource("foot", cms.link("/system/workplace/views/top_foot.jsp")) %> noresize scrolling="no">
    <frame <%= wp.getFrameSource("closeframe", cms.link("editor_close.jsp")) %> noresize scrolling="no">
</frameset>
</html>

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -