OSDN Git Service

Fix sf.net ticket #2236: PreDiffLineFilter
authorTakashi Sawanaka <sdottaka@users.sourceforge.net>
Sat, 25 Apr 2020 01:17:10 +0000 (10:17 +0900)
committerTakashi Sawanaka <sdottaka@users.sourceforge.net>
Sat, 25 Apr 2020 01:17:10 +0000 (10:17 +0900)
Plugins/dlls/PrediffLineFilter.sct

index c5a9a5a..1ce2263 100644 (file)
@@ -166,8 +166,8 @@ End Sub
         newRow.insertCell(-1).innerHTML = '<input type="checkbox" name="chkEnabled" ' + (regRead(REGKEY_PATH + "Enabled" + r, true) ? 'checked' : '') + ' />';\r
         newRow.insertCell(-1).innerHTML = '<input type="checkbox" name="chkIgnoreCase" ' + (regRead(REGKEY_PATH + "IgnoreCase" + r, false) ? 'checked' : '') + ' />';\r
         newRow.insertCell(-1).innerHTML = '<input type="checkbox" name="chkUseRegExp" ' + (regRead(REGKEY_PATH + "UseRegExp" + r, false) ? 'checked' : '') + ' />';\r
-        newRow.insertCell(-1).innerHTML = '<input type="text" name="txtPattern" value="" />'\r
-        newRow.insertCell(-1).innerHTML = '<input type="text" name="txtReplaceText" value="" />'\r
+        newRow.insertCell(-1).innerHTML = '<input class="textbox" type="text" name="txtPattern" value="" />'\r
+        newRow.insertCell(-1).innerHTML = '<input class="textbox" type="text" name="txtReplaceText" value="" />'\r
         newRow.cells[3].childNodes[0].value = regRead(REGKEY_PATH + "Pattern" + r,  "");\r
         newRow.cells[4].childNodes[0].value = regRead(REGKEY_PATH + "ReplaceText" + r,  "");\r
       }\r
@@ -197,9 +197,9 @@ End Sub
         div.id = "language";\r
         var html = '&shy;<style>';\r
         if (lang.substr(0, 2).toLowerCase() === 'ja') {\r
-          html += '.en { display: none } .ja { display: inline }';\r
+          html += '.en { display: none } .ja { display: inline } .textbox { font-family: "MS Gothic" }';    \r
         } else {\r
-          html += '.ja { display: none } .en { display: inline }';\r
+          html += '.ja { display: none } .en { display: inline } .textbox { font-family: "Courier New" }';\r
         }\r
         div.innerHTML = html;\r
         if (!document.getElementById("language"))\r