move changes to -src.js

change var names

Author: Anton Vasil`ev

js/jquery.terminal-1.7.2.js

@@ -4543,34 +4543,25 @@
             }
             var type = string_case(string);
             var result = [];
+            loop:
                 for (var j = string.length; j < array[0].length; ++j) {
-                    var push = false;
-                    var pushCandidate = array[0].charAt(j);
                     for (var i = 1; i < array.length; ++i) {
-                        var currentChar = array[i].charAt(j);
-                        push = true;
-                        if (pushCandidate !== currentChar) {
+                        var a = array[0].charAt(j);
+                        var b = array[i].charAt(j);
+                        if (a !== b) {
                             if (matchCase || type === 'mixed') {
-                                push = false;
-                                break;
-                            } else if (pushCandidate.toLowerCase() === currentChar.toLowerCase()) {
+                                break loop;
+                            } else if (a.toLowerCase() === b.toLowerCase()) {
                                 if (type === 'lower') {
-                                    pushCandidate = pushCandidate.toLowerCase();
-                                } else if (type === 'upper') {
-                                    pushCandidate = pushCandidate.toUpperCase();
+                                    result.push(a.toLowerCase());
                                 } else {
-                                    push = false;
-                                    break;
+                                    result.push(a.toUpperCase());
                                 }
-                            } else {
-                                push = false;
-                                break;
                             }
+                        } else {
+                            result.push(a);
                         }
                     }
-                    if (push) {
-                        result.push(pushCandidate);
-                    }
                 }
             return string + result.join('');
         }

js/jquery.terminal-src.js

@@ -4543,25 +4543,38 @@
             }
             var type = string_case(string);
             var result = [];
-            loop:
             for (var j = string.length; j < array[0].length; ++j) {
+                var push = false;
+                var candidate = array[0].charAt(j),
+                    candidateLower = candidate.toLowerCase();
+
                 for (var i = 1; i < array.length; ++i) {
-                    var a = array[0].charAt(j);
-                    var b = array[i].charAt(j);
-                    if (a !== b) {
+                    push = true;
+                    var current = array[i].charAt(j),
+                        currentLower = current.toLowerCase();
+
+                    if (candidate !== current) {
                         if (matchCase || type === 'mixed') {
-                            break loop;
-                        } else if (a.toLowerCase() === b.toLowerCase()) {
+                            push = false;
+                            break;
+                        } else if (candidateLower === currentLower) {
                             if (type === 'lower') {
-                                result.push(a.toLowerCase());
+                                candidate = candidate.toLowerCase();
+                            } else if (type === 'upper') {
+                                candidate = candidate.toUpperCase();
                             } else {
-                                result.push(a.toUpperCase());
+                                push = false;
+                                break;
                             }
+                        } else {
+                            push = false;
+                            break;
                         }
-                    } else {
-                        result.push(a);
                     }
                 }
+                if (push) {
+                    result.push(candidate);
+                }
             }
             return string + result.join('');
         }