Pārlūkot izejas kodu

[spark] Redraw tables fixed headers on editor size change

Enrico Berti 10 gadi atpakaļ
vecāks
revīzija
c13c9e4

+ 4 - 0
apps/spark/src/spark/templates/editor_components.mako

@@ -1276,6 +1276,10 @@ from django.utils.translation import ugettext as _
       redrawFixedHeaders();
     });
 
+    $(document).on("editorSizeChanged", function () {
+      window.setTimeout(redrawFixedHeaders, 50);
+    });
+
     $(document).on("executeStarted", function (e, snippet) {
       var _el = $("#snippet_" + snippet.id()).find(".resultTable");
       $("#snippet_" + snippet.id()).find(".progress").animate({

+ 6 - 0
desktop/core/src/desktop/static/desktop/js/ko.hue-bindings.js

@@ -1774,11 +1774,17 @@ ko.bindingHandlers.aceEditor = {
     }
 
     editor.previousCursorPosition = null;
+    editor.previousSize = 0;
 
     editor.on("change", function (e) {
       editor.clearErrors();
       options.extraCompleters([]);
       editor.session.getMode().$id = valueAccessor().mode();
+      var currentSize = editor.session.getLength();
+      if (currentSize != editor.previousSize && currentSize >= editorOptions.minLines && currentSize <= editorOptions.maxLines){
+        editor.previousSize = editor.session.getLength();
+        $(document).trigger("editorSizeChanged");
+      }
 
       var before = editor.getTextBeforeCursor(";");
       var beforeU = before.toUpperCase();