Make user JS/CSS textareas reasonably sized

This commit is contained in:
Pashe 2015-02-13 18:01:23 -06:00
parent 4434f2cd93
commit 827dac38e8
2 changed files with 10 additions and 18 deletions

View File

@ -14,17 +14,13 @@
var tab = Options.add_tab("user-css", "css3", _("User CSS")); var tab = Options.add_tab("user-css", "css3", _("User CSS"));
var textarea = $("<textarea></textarea>").css({ var textarea = $("<textarea></textarea>").css({
"font-size": 12, "height" : "85%",
position: "absolute", "width" : "100%",
top: 35, bottom: 35, "font-size" : "9pt",
width: "calc(100% - 20px)", margin: 0, padding: "4px", border: "1px solid black", "font-family": "monospace",
left: 5, right: 5
}).appendTo(tab.content); }).appendTo(tab.content);
var submit = $("<input type='button' value='"+_("Update custom CSS")+"'>").css({ var submit = $("<input type='button' value='"+_("Update custom CSS")+"'>").css({
position: "absolute", "width": "100%",
height: 25, bottom: 5,
width: "calc(100% - 10px)",
left: 5, right: 5
}).click(function() { }).click(function() {
localStorage.user_css = textarea.val(); localStorage.user_css = textarea.val();
apply_css(); apply_css();

View File

@ -14,17 +14,13 @@
var tab = Options.add_tab("user-js", "code", _("User JS")); var tab = Options.add_tab("user-js", "code", _("User JS"));
var textarea = $("<textarea></textarea>").css({ var textarea = $("<textarea></textarea>").css({
"font-size": 12, "height" : "85%",
position: "absolute", "width" : "100%",
top: 35, bottom: 35, "font-size" : "9pt",
width: "calc(100% - 20px)", margin: 0, padding: "4px", border: "1px solid black", "font-family": "monospace",
left: 5, right: 5
}).appendTo(tab.content); }).appendTo(tab.content);
var submit = $("<input type='button' value='"+_("Update custom Javascript")+"'>").css({ var submit = $("<input type='button' value='"+_("Update custom Javascript")+"'>").css({
position: "absolute", "width": "100%",
height: 25, bottom: 5,
width: "calc(100% - 10px)",
left: 5, right: 5
}).click(function() { }).click(function() {
localStorage.user_js = textarea.val(); localStorage.user_js = textarea.val();
document.location.reload(); document.location.reload();