From 80d530d65747ea501e596ab641c47a118afbd235 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Fri, 7 Jul 2017 19:29:43 +0200
Subject: [PATCH] Do not resize textareas resized by the user
/close #118
---
static/js/script.js | 20 +++++++++++++++++---
1 file changed, 17 insertions(+), 3 deletions(-)
diff --git a/static/js/script.js b/static/js/script.js
index 8b21136..222a438 100644
--- a/static/js/script.js
+++ b/static/js/script.js
@@ -9,6 +9,9 @@ function toggle_expansion() {
var max_height = 400;
function resize_textarea(textarea) {
function _inner_resize_textarea() {
+ var current_height = textarea.style.height;
+ var current_width = textarea.style.width;
+ var use_current_height = (current_height != "") && Boolean(textarea.custom_height);
textarea.style.height = "auto";
var new_height = textarea.scrollHeight;
var overflow = "hidden";
@@ -16,8 +19,20 @@ function resize_textarea(textarea) {
new_height = max_height;
overflow = "visible";
}
- textarea.style.height = new_height + "px";
- textarea.style.overflow = overflow;
+ var keep_height = false;
+ if (use_current_height) {
+ current_height = parseInt(current_height);
+ if (current_height > new_height && current_height != textarea.custom_height) {
+ keep_height = true;
+ }
+ }
+ if (!keep_height) {
+ textarea.style.height = new_height + "px";
+ textarea.custom_height = new_height;
+ textarea.style.overflow = overflow;
+ } else {
+ textarea.style.height = current_height + "px";
+ }
}
return _inner_resize_textarea
}
@@ -30,7 +45,6 @@ function resize_textarea_delayed(textarea) {
function tab_on_key_down(textarea) {
function _inner_tab_on_key_down(e) {
- console.log(e);
if (e.keyCode == 9) {
var start = textarea.selectionStart;
var end = textarea.selectionEnd;
--
GitLab