📄 public_char.js
字号:
//属性操作提交事件function sub(e) { var attributeKind = e.attributeKind.value; var attributeName = e.attributeName.value; if (check_null(attributeKind)) { alert("\u8bf7\u8f93\u5165\u6b63\u786e\u7684\u5c5e\u6027\u79cd\u7c7b\uff01"); } else { if (check_null(attributeName)) { alert("\u8bf7\u8f93\u5165\u6b63\u786e\u7684\u5c5e\u6027\u540d\u79f0\uff01"); } else { return true; } } return false;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -