diff options
| -rw-r--r-- | pages/options.coffee | 2 | ||||
| -rw-r--r-- | pages/options.html | 5 | 
2 files changed, 5 insertions, 2 deletions
diff --git a/pages/options.coffee b/pages/options.coffee index ba1635d5..bbf47b77 100644 --- a/pages/options.coffee +++ b/pages/options.coffee @@ -207,7 +207,7 @@ document.addEventListener "DOMContentLoaded", ->    for element in document.getElementsByClassName "nonEmptyTextOption"      element.className = element.className + " example info" -    element.innerHTML = "Leave empty to reset to the value." +    element.innerHTML = "Leave empty to reset this option."    maintainLinkHintsView()    window.onbeforeunload = -> "You have unsaved changes to options." unless $("saveOptions").disabled diff --git a/pages/options.html b/pages/options.html index 51695f71..53b65156 100644 --- a/pages/options.html +++ b/pages/options.html @@ -122,15 +122,18 @@        }        textarea#userDefinedLinkHintCss {          width: 100%;; -        min-height: 100px; +        min-height: 130px; +        white-space: nowrap;        }        textarea#keyMappings {          width: 100%;          min-height: 135px; +        white-space: nowrap;        }        textarea#searchEngines {          width: 100%;          min-height: 135px; +        white-space: nowrap;        }        input#previousPatterns, input#nextPatterns {          width: 100%;  | 
