📄 example.php
字号:
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <title>ExtJS Example</title> <?php if (strpos($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip') === false) { echo '<link rel="stylesheet" type="text/css" href="extjs/ext.css" />'; } else { echo '<link rel="stylesheet" type="text/css" href="extjs/ext.css.php" />'; } if (strpos($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip') === false) { echo '<script type="text/javascript" src="extjs/ext.js"></script>'; } else { echo '<script type="text/javascript" src="extjs/ext.js.php"></script>'; } ?> <script type="text/javascript" src="example.js"> </script> </head> <body> <div id="grid"> </div> </body></html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -