📄 explorer_new

📁 java 编写的程序

💻

字号:

<?xml version="1.0"?>
<WORKPLACE>
<TEMPLATE>
<![CDATA[

        <html>
        <head><script language=JavaScript> <!-- function show_help() {    return explorer_content.show_help(); } //--> </script> </head>
        <frameset border=2 frameborder=yes framespacing=2 cols=20%,80%>
        <frame name=explorer_tree id=explorer_tree src="explorer_tree.html">
        <frame name=explorer_content id=explorer_content src="explorer_files_frameset.html">
        </frameset>
        </html>
]]>
</TEMPLATE>
</WORKPLACE>

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -