From 55f6f87e8adb2718003cb6e8140f27baa3f825aa Mon Sep 17 00:00:00 2001 From: Simeon Ackermann Date: Wed, 22 Apr 2015 22:57:58 +0300 Subject: [PATCH 1/2] Fix search for propertyat adding new property widget doenst found any entry. This was caused by a SPARQL issue when using more than one sameTerm() in a filter --- src/widget.property.js | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/widget.property.js b/src/widget.property.js index 68bcff4..b3288ca 100644 --- a/src/widget.property.js +++ b/src/widget.property.js @@ -353,9 +353,7 @@ RDFauthor.registerWidget({ var classPattern = '?resourceUri a ?class .\n'; var literalPattern = '?resourceUri ?p0 ?literal .\n'; var filter1 = 'FILTER (REGEX(?literal, "' + requestTerm + '", "i")). \n'; - var filter2 = 'FILTER ( ( ( (sameTerm(?class,owl:DatatypeProperty)) || (sameTerm(?class,owl:ObjectProperty)) ) || \ - (sameTerm(?class, rdf:Property)) ) || \ - (sameTerm(?class, owl:AnnotationProperty)) ).\n'; + var filter2 = 'FILTER ( ?class=owl:DatatypeProperty || ?class=owl:ObjectProperty || ?class=rdf:Property || ?class=owl:AnnotationProperty ).\n'; var query = prefixPattern + 'SELECT ' + selectPattern + 'WHERE { \n' + classPattern From c23b7a1663d2259c2206a9d5850991d78d4063e7 Mon Sep 17 00:00:00 2001 From: Simeon Ackermann Date: Wed, 22 Apr 2015 22:58:08 +0300 Subject: [PATCH 2/2] Fix add property widget doesnt appear. This was caused by an issue with an older jQuery UI version if no argument was given to outerWidth/outerHeight() --- src/widget.property.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/widget.property.js b/src/widget.property.js index b3288ca..a338794 100644 --- a/src/widget.property.js +++ b/src/widget.property.js @@ -639,8 +639,8 @@ RDFauthor.registerWidget({ var bodyw = $(document).width(); var windowh = $(window).height(); var windoww = $(window).width(); - var ww = element.outerWidth(); - var wh = element.outerHeight(); + var ww = element.outerWidth(false); + var wh = element.outerHeight(false); // console.log('scrolltop', $(document).scrollTop()); // console.log('bodyh', bodyh);