@arsedizioni/ars-utils 21.1.71 → 21.1.72
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -1055,6 +1055,7 @@ class ClipperDocumentComponent extends ClipperDocumentManager {
|
|
|
1055
1055
|
if (query.length > 0) {
|
|
1056
1056
|
// Type
|
|
1057
1057
|
if (query[0] === '$') {
|
|
1058
|
+
query = query.substring(1);
|
|
1058
1059
|
this.lastQueryType = 'semantic';
|
|
1059
1060
|
}
|
|
1060
1061
|
// Reset
|
|
@@ -1103,7 +1104,6 @@ class ClipperDocumentComponent extends ClipperDocumentManager {
|
|
|
1103
1104
|
this.busy.set(url.indexOf('documents/render/item') === -1);
|
|
1104
1105
|
// Navigate
|
|
1105
1106
|
this.url.set(url);
|
|
1106
|
-
console.log('Navigating to ' + url);
|
|
1107
1107
|
});
|
|
1108
1108
|
}
|
|
1109
1109
|
}
|