Root at 20:03, 23 June 2017

2017-06-23T20:03:08Z

Root at 22:07, 21 June 2017

2017-06-21T22:07:18Z

Root: Created page with "// This defines some control-key shortcuts you can use in text fields. // IE not supported. See talk page for documentation. // by Greg Ubben // Add some control hotkeys for..."

2017-06-13T13:27:12Z

Created page with "// This defines some control-key shortcuts you can use in text fields. // IE not supported. See talk page for documentation. // by Greg Ubben // Add some control hotkeys for..."

New page

// This defines some control-key shortcuts you can use in text fields.
// IE not supported. See talk page for documentation.
// by Greg Ubben

// Add some control hotkeys for easily entering right-arrows (→) and other
// characters and phrases in the edit summary, edit box, or other text fields.
// hotkeys[] can be defined to augment the defaults. Type Ctrl-? to list all.

function hotkey(e) {
if (e && e.ctrlKey && hotkeys[String.fromCharCode( e.charCode )])
{
var newtxt = hotkeys[String.fromCharCode( e.charCode )];
var before = this.value.slice( 0, this.selectionStart );
var after = this.value.slice( this.selectionEnd );
var scroll = this.scrollTop;

if (newtxt == "MENU") { // type Ctrl-? for a list
var menu = "";
for (var key in hotkeys) {
var name = key.toUpperCase().replace(",", "<").replace(".", ">");
var value = hotkeys[key].replace(/\n/g, "•").slice(0,40);
if (value && value != newtxt)
menu += "\u200E" + name + " \t" + value + "\n";
}
alert( menu );
return false;
}
// hack to not override Ctrl-F, Ctrl-T, etc. in main text area
//
if (newtxt.search(/\[\[WP:|\bfix/i) >= 0 && this.id == "wpTextbox1") {
return true;
}
if (newtxt.search(/^\[*\w./) >= 0 && this.id != "wpTextbox1") {
if (before.search(/[^\s;,]$/) >= 0) before += "; ";
if (after.search(/^[^\s;,]/) >= 0) newtxt += "; ";
}
this.value = before + newtxt + after;
this.selectionStart = this.selectionEnd = before.length + newtxt.length;
this.scrollTop = scroll; // don't lose our position
return false;
}
return true;
}

addOnloadHook( function()
{
var defaultCtrl = {
"," : "←", // Ctrl < left arrow
"." : "→", // Ctrl > right arrow
"-" : "–", // Ctrl - en dash
"=" : "—", // Ctrl = em dash
"7" : "&" + "nbsp;", // Ctrl & non-breaking space
"l" : "link rename",
"r" : "reverted [[WP:VAND|vandalism]]",
"s" : "[[WP:STYLE]]",
"/" : "MENU" // special function
};
var fields = { wpSummary:0, wpTextbox1:0, wpReason:0, wpUploadDescription:0 };

if (wgAction != "view" || wgCanonicalSpecialPageName)
{
if (typeof(hotkeys) == 'undefined') hotkeys = {};
for (var key in defaultCtrl) {
if (hotkeys[key] == null)
hotkeys[key] = defaultCtrl[key];
}
for (var field in fields) {
var f = document.getElementById(field);
if (f) f.onkeypress = hotkey;
}
}
});

@@ Line 43: / Line 43: @@
+}
-addOnloadHook( function()
+/*addOnloadHook*/
+{
      var defaultCtrl = {

@@ Line 62: / Line 62: @@
          if (typeof(hotkeys) == 'undefined')  hotkeys = {};
          for (var key in defaultCtrl) {
-             if (hotkeys[key] == null)
+             if (hotkeys[key] === null)
                  hotkeys[key] = defaultCtrl[key];
+         }

User:Root/hotkeys.js - Revision history

Root at 20:03, 23 June 2017

Root at 22:07, 21 June 2017

Root: Created page with "// This defines some control-key shortcuts you can use in text fields. // IE not supported. See talk page for documentation. // by Greg Ubben // Add some control hotkeys for..."