export result table to csv

martin-pabst · martin-pabst · commit c015b50d4968 · 2025-01-29T14:56:30.000+01:00
diff --git a/src/client/embedded/MainEmbedded.ts b/src/client/embedded/MainEmbedded.ts
@@ -486,7 +486,7 @@ export class MainEmbedded implements MainBase {
             $bottomDiv.prepend($filesDiv);
             new EmbeddedSlider($filesDiv, false, false, () => { });
         }
-        makeTabs($bottomDivInner);
+        // makeTabs($bottomDivInner);
         $div.append($bottomDiv);
 
         $div.addClass('joe_javaOnlineDiv');
diff --git a/src/client/main/gui/BottomDiv.ts b/src/client/main/gui/BottomDiv.ts
@@ -1,7 +1,5 @@
 import { makeTabs } from "../../tools/HtmlTools.js";
 import { Main } from "../Main.js";
-import { Workspace } from "../../workspace/Workspace.js";
-import { Module } from "../../compiler/parser/Module.js";
 import { ErrorManager } from "./ErrorManager.js";
 import { HomeworkManager } from "./HomeworkManager.js";
 import { MainBase } from "../MainBase.js";
diff --git a/src/client/main/gui/ResultsetPresenter.ts b/src/client/main/gui/ResultsetPresenter.ts
@@ -43,14 +43,23 @@ export class ResultsetPresenter {
 
         this.$paginationDiv = <any>$bottomDiv.find('.jo_pagination');
         this.$arrowLeft = jQuery('<div class="jo_button img_arrow-left-dark jo_active"></div>');
-        this.$infoDiv = jQuery('<div class="jo_pagination_info"><span class="jo_pagination_fromto">0001-1000</span>/<span class="jo_pagination_all">5000</span></div>');
+        this.$infoDiv = jQuery('<div class="jo_pagination_info"><span class="jo_pagination_fromto"></span>/<span class="jo_pagination_all"></span></div>');
         this.$arrowRight = jQuery('<div class="jo_button img_arrow-right-dark jo_active"></div>');
 
         this.$paginationDiv.empty();
         this.$paginationDiv.append(this.$arrowLeft, this.$infoDiv, this.$arrowRight);
 
         this.$paginationDiv.hide();
 
+        const resultTab =  <any>$bottomDiv.find('.jo_resultTab');
+        resultTab.on('myshow', (e) => {
+            this.$paginationDiv.show();
+        })
+
+        resultTab.on('myhide', (e) => {
+            this.$paginationDiv.hide();
+        })
+
         let mousePointer = (window.PointerEvent ? "pointer" : "mouse") + 'up';
 
         let that = this;

Original file line number	Diff line number	Diff line change
`@@ -486,7 +486,7 @@ export class MainEmbedded implements MainBase {`
`486`	`486`	`$bottomDiv.prepend($filesDiv);`
`487`	`487`	`new EmbeddedSlider($filesDiv, false, false, () => { });`
`488`	`488`	`}`
`489`		`- makeTabs($bottomDivInner);`
	`489`	`+ // makeTabs($bottomDivInner);`
`490`	`490`	`$div.append($bottomDiv);`
`491`	`491`
`492`	`492`	`$div.addClass('joe_javaOnlineDiv');`