editareaxml.jsp

来自「联合国农粮署牵头开发的geonetwork源代码最新版」· JSP 代码 · 共 14 行

<script language="Javascript" type="text/javascript"
	src="http://localhost:8080/geoserver/editarea/edit_area_full.js"></script>
<script language="Javascript" type="text/javascript">
		// initialisation
		editAreaLoader.init({
			id: "editor"	// id of the textarea to transform		
			,start_highlight: false	// if start with highlight
			,font_size: "8"
			,allow_toggle: true
			,syntax: "xml"
			,toolbar: "highlight, change_smooth_selection, fullscreen, |, undo, redo, |, select_font, |, search, go_to_line, |, help"
		});
</script>