From 9fed659758b2ad9449f955fe275f2def04f7bbab Mon Sep 17 00:00:00 2001 From: YaphetKG Date: Fri, 16 Feb 2024 12:28:33 -0500 Subject: [PATCH 1/8] download buttons --- index.html | 6 ++++-- src/ldf-client-ui.js | 47 +++++++++++++++++++++++++++++++++++++++++-- styles/ldf-client.css | 11 ++++++++++ 3 files changed, 60 insertions(+), 4 deletions(-) diff --git a/index.html b/index.html index c5e55af6..bf8dcac2 100644 --- a/index.html +++ b/index.html @@ -89,13 +89,15 @@

Query the Web of Linked Data

  • - +
    +
  • - +
    
    +          
  • diff --git a/src/ldf-client-ui.js b/src/ldf-client-ui.js index f9ac348e..61508684 100644 --- a/src/ldf-client-ui.js +++ b/src/ldf-client-ui.js @@ -93,6 +93,8 @@ if (typeof global.process === 'undefined') $element = this.element, $stop = this.$stop = $('.stop', $element), $start = this.$start = $('.start', $element), + $downloadCsv = this.$downloadCsv = $('#download_csv', $element), + $downloadLogs = this.$downloadCsv = $('#download_log', $element), $queryTexts = $('.querytext'), $queryContexts = $('.querycontext'), $queryResultsToTrees = $('.results-to-tree'), @@ -111,7 +113,8 @@ if (typeof global.process === 'undefined') $showDetails = this.$showDetails = $('.details-toggle', $element), $proxyDefault = $('.proxy-default', $element); this.$details = $('.details', $element); - + this.bindingResults = []; + this.logs = ''; // Replace non-existing elements by an empty text box if (!$datasources.length) $datasources = this.$datasources = $('