📄 extend.js
字号:
// Copyright (C) 2008 OpenRB.com// Extra parameter for Request classRequest.prototype.options.extra = {};Request.prototype.success = function(text, xml) { this.onSuccess(text, xml, this.options.extra);};// Mocha-UI hooks for window closeMochaUI.Window.prototype.options.onCloseComplete = FlashSYS.clearCache.bind(FlashSYS);// various default values for windowsMochaUI.Window.prototype.options.container = 'pageWrapper';// Human readable size formatfunction formatSize(size) { var rSize = size.toInt(); var sizes = [' B', ' KB', ' MB', ' GB', ' TB']; for (var i = 0, k = sizes.length - 1; i < k; i++) { if (rSize < 1024) { break; } rSize /= 1024; } return Math.round(rSize).toString() + sizes[ i ];}// IFrame wrapper, MooTools wrapper produces errors in FF3var FSFrame = function(props){ var props = props || {}; var onload = props.load || $empty; delete props.load; iframe = new Element('iframe', props); iframe.addListener('load', function(){ if (iframe && iframe.contentWindow) { onload(); } }); return iframe;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -