Notify on completed compilation #40

New Issue

Open

opened 2025-03-07 13:17:04 +01:00 by Benjamin_Loison · 20 comments

Benjamin_Loison commented 2025-03-07 13:17:04 +01:00

Owner

Copy Link

Copy Source

Usually compile locally but to ensure that when share a document with people on a private instance, hence having unlimited compilation time it seems, then the document is fine. Also as the PDF expires quite quickly it seems but this is maybe due to the specific Overleaf instance I am using.

Related to #38, #31 and Improve_websites_thanks_to_open_source/issues/{540,726,725,727}.

Usually compile locally but to ensure that when share a document with people on a private instance, hence having unlimited compilation time it seems, then the document is fine. Also as the PDF expires quite quickly it seems but this is maybe due to the specific Overleaf instance I am using. Related to #38, #31 and [Improve_websites_thanks_to_open_source/issues/](https://codeberg.org/Benjamin_Loison/Improve_websites_thanks_to_open_source/issues){[540](https://codeberg.org/Benjamin_Loison/Improve_websites_thanks_to_open_source/issues/540),[726](https://codeberg.org/Benjamin_Loison/Improve_websites_thanks_to_open_source/issues/726),[725](https://codeberg.org/Benjamin_Loison/Improve_websites_thanks_to_open_source/issues/725),[727](https://codeberg.org/Benjamin_Loison/Improve_websites_thanks_to_open_source/issues/727)}.

Benjamin_Loison commented 2025-03-25 16:43:47 +01:00

Author

Owner

Copy Link

Copy Source

new Notification("To do list", { body: 'Test' });

Notification { onclick: null, onshow: null, onerror: null, onclose: null, title: "To do list", dir: "auto", lang: "", body: "Test", tag: "", icon: "" }

Source: https://developer.mozilla.org/en-US/docs/Web/API/Notifications_API/Using_the_Notifications_API#creating_a_notification

maybe have to be on another tab to notice it.

Notification.requestPermission().then((result) => {
  console.log(result);
});

Promise { <state>: "pending" }
The Notification permission may only be requested from inside a short running user-generated event handler.
default

Source: https://developer.mozilla.org/en-US/docs/Web/API/Notifications_API/Using_the_Notifications_API#getting_permission

Can manually at Firefox level provide notification permission?

```javascript new Notification("To do list", { body: 'Test' }); ``` ``` Notification { onclick: null, onshow: null, onerror: null, onclose: null, title: "To do list", dir: "auto", lang: "", body: "Test", tag: "", icon: "" } ``` Source: https://developer.mozilla.org/en-US/docs/Web/API/Notifications_API/Using_the_Notifications_API#creating_a_notification maybe have to be on another tab to notice it. ```javascript Notification.requestPermission().then((result) => { console.log(result); }); ``` ``` Promise { <state>: "pending" } The Notification permission may only be requested from inside a short running user-generated event handler. default ``` Source: https://developer.mozilla.org/en-US/docs/Web/API/Notifications_API/Using_the_Notifications_API#getting_permission     Can manually at Firefox level provide notification permission?

image.png

107 KiB

image.png

104 KiB

image.png

75 KiB

image.png

75 KiB

Benjamin_Loison commented 2025-03-25 17:01:47 +01:00

Author

Owner

Copy Link

Copy Source


image.png

134 KiB

Benjamin_Loison commented 2025-03-25 17:02:30 +01:00

Author

Owner

Copy Link

Copy Source

DuckDuckGo search:

• JavaScript run function when node changed
• JavaScript run function when innerHTML changed

DuckDuckGo search: - *JavaScript run function when node changed* - *JavaScript run function when innerHTML changed*

Benjamin_Loison commented 2025-03-25 17:06:52 +01:00

Author

Owner

Copy Link

Copy Source

<span class="btn-recompile-label" ng-show="!pdf.compiling">Recompiler</span>

<span class="btn-recompile-label" ng-show="pdf.compiling">Compilation en cours…</span>

```html <span class="btn-recompile-label" ng-show="!pdf.compiling">Recompiler</span> ``` ```html <span class="btn-recompile-label" ng-show="pdf.compiling">Compilation en cours…</span> ```

Benjamin_Loison commented 2025-03-25 17:08:22 +01:00

Author

Owner

Copy Link

Copy Source

JavaScript code:

function getElementByXpath(path) {
  return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
}

var element = getElementByXpath('//span[@class="btn-recompile-label"]');

element.addEventListener('DOMSubtreeModified', myFunction);

function myFunction(e) {
    console.log(element.innerHTML);
}

Adding a listener for DOMSubtreeModified is deprecated and will be removed soon. Instead of a MutationEvent, use MutationObserver. https://developer.mozilla.org/docs/Web/API/MutationObserver

Source: the Stack Overflow answer 47379026

<details> <summary>JavaScript code:</summary> ```javascript function getElementByXpath(path) { return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue; } var element = getElementByXpath('//span[@class="btn-recompile-label"]'); element.addEventListener('DOMSubtreeModified', myFunction); function myFunction(e) { console.log(element.innerHTML); } ``` </details> ``` Adding a listener for DOMSubtreeModified is deprecated and will be removed soon. Instead of a MutationEvent, use MutationObserver. https://developer.mozilla.org/docs/Web/API/MutationObserver ``` Source: [the Stack Overflow answer 47379026](https://stackoverflow.com/a/47379026)

Benjamin_Loison commented 2025-03-25 17:13:37 +01:00

Author

Owner

Copy Link

Copy Source

At random it will be fed with data from an external source (that I do not have control of).

So maybe it does match my needs, as it may be HTML nodes, not just text.

Well the mentioned answer is just about text.

> At random it will be fed with data from an external source (that I do not have control of). So maybe it does match my needs, as it may be HTML nodes, not just text. Well the mentioned answer is just about text.

Benjamin_Loison commented 2025-03-25 17:13:49 +01:00

Author

Owner

Copy Link

Copy Source

Run code snippet works fine.

*Run code snippet* works fine.

Benjamin_Loison commented 2025-03-25 17:14:43 +01:00

Author

Owner

Copy Link

Copy Source

I suspect running my Console code after window.addEventListener('load' can be triggered.

I suspect running my *Console* code after `window.addEventListener('load'` can be triggered.

Benjamin_Loison commented 2025-03-25 17:17:02 +01:00

Author

Owner

Copy Link

Copy Source

JavaScript code:

function getElementByXpath(path) {
  return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
}

window.addEventListener('load', function () {
  var element = getElementByXpath('//span[@class="btn-recompile-label"]');

  var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver;
  var observer = new MutationObserver(myFunction);
  observer.observe(element, {
	  childList: true
  });

  function myFunction() {
    console.log(element.innerHTML);
  }
});

JavaScript code:

function getElementByXpath(path) {
	return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
}

var element = getElementByXpath('//span[@class="btn-recompile-label"]');

var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver;
var observer = new MutationObserver(myFunction);
observer.observe(element, {
	childList: true
});

function myFunction() {
	console.log(element.innerHTML);
}

does not work either.

<details> <summary>JavaScript code:</summary> ```javascript function getElementByXpath(path) { return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue; } window.addEventListener('load', function () { var element = getElementByXpath('//span[@class="btn-recompile-label"]'); var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver; var observer = new MutationObserver(myFunction); observer.observe(element, { childList: true }); function myFunction() { console.log(element.innerHTML); } }); ``` </details> <details> <summary>JavaScript code:</summary> ```javascript function getElementByXpath(path) { return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue; } var element = getElementByXpath('//span[@class="btn-recompile-label"]'); var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver; var observer = new MutationObserver(myFunction); observer.observe(element, { childList: true }); function myFunction() { console.log(element.innerHTML); } ``` </details> does not work either.

Benjamin_Loison commented 2025-03-25 17:17:52 +01:00

Author

Owner

Copy Link

Copy Source

element.innerHTML 

works fine, maybe it acts as pointer to a copy somehow.

```javascript element.innerHTML ``` works fine, maybe it acts as pointer to a copy somehow.

Benjamin_Loison commented 2025-03-25 17:19:00 +01:00

Author

Owner

Copy Link

Copy Source

JavaScript code:

var element = document.getElementById('recompile');

var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver;
var observer = new MutationObserver(myFunction);
observer.observe(element, {
	childList: true
});

function myFunction() {
	console.log(element.innerHTML);
}

does not work too.

<details> <summary>JavaScript code:</summary> ```javascript var element = document.getElementById('recompile'); var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver; var observer = new MutationObserver(myFunction); observer.observe(element, { childList: true }); function myFunction() { console.log(element.innerHTML); } ``` </details> does not work too.

Benjamin_Loison commented 2025-03-25 17:19:28 +01:00

Author

Owner

Copy Link

Copy Source

No iframe seems to blame as I get correctly the node.

No `iframe` seems to blame as I get correctly the node.

Benjamin_Loison commented 2025-03-25 17:23:22 +01:00

Author

Owner

Copy Link

Copy Source

JavaScript code:

function getElementByXpath(path) {
	return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
}

var element = getElementByXpath('//span[@class="btn-recompile-label"]');

var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver;
var observer = new MutationObserver(myFunction);
observer.observe(element, {
	attributes: true
});

function myFunction() {
	console.log(element.innerHTML);
	console.log(getElementByXpath('//span[@class="btn-recompile-label"]').innerHTML)
}

myFunction is triggered at the beginning and at the end of the compilation but only the latter console.log gives the expected innerHTML.

<details> <summary>JavaScript code:</summary> ```javascript function getElementByXpath(path) { return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue; } var element = getElementByXpath('//span[@class="btn-recompile-label"]'); var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver; var observer = new MutationObserver(myFunction); observer.observe(element, { attributes: true }); function myFunction() { console.log(element.innerHTML); console.log(getElementByXpath('//span[@class="btn-recompile-label"]').innerHTML) } ``` </details> `myFunction` is triggered at the beginning and at the end of the compilation but only the latter `console.log` gives the expected `innerHTML`.

Benjamin_Loison commented 2025-03-25 17:42:44 +01:00

Author

Owner

Copy Link

Copy Source

Attribute watching may help.

Attribute watching may help.

Benjamin_Loison commented 2025-03-25 17:44:54 +01:00

Author

Owner

Copy Link

Copy Source

const d = new Date();
let time = d.getTime();

gives milliseconds.

```javascript const d = new Date(); let time = d.getTime(); ``` gives milliseconds.

Benjamin_Loison commented 2025-03-25 17:46:09 +01:00

Author

Owner

Copy Link

Copy Source

new Date().toLocaleString()

"25/03/2025, 17:45:58" 

Source: the Stack Overflow answer 30245911

```javascript new Date().toLocaleString() ``` ``` "25/03/2025, 17:45:58" ``` Source: [the Stack Overflow answer 30245911](https://stackoverflow.com/a/30245911)

Benjamin_Loison commented 2025-03-25 18:19:20 +01:00

Author

Owner

Copy Link

Copy Source

JavaScript code:

function getElementByXpath(path)
{
	return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
}

function getRecompileButton()
{
    return getElementByXpath('//span[@class="btn-recompile-label"]');
}

var element = getRecompileButton();

var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver;
var observer = new MutationObserver(myFunction);
observer.observe(element, {
	attributes: true
});

function getTimestamp()
{
    return new Date().getTime();
}

var lastRecompileTime;

function myFunction()
{
    const currentLabel = getRecompileButton().innerHTML;
	console.log(new Date().toLocaleString() + ': ' + currentLabel);
    switch(currentLabel) {
        case 'Compilation en cours…':
            lastRecompileTime = getTimestamp();
            break;
        case 'Recompiler':
            console.log(`Compilation took ${((getTimestamp() - lastRecompileTime) / 1_000).toFixed(2)} seconds!`)
            break;
        //default:
    }
}

Output:

25/03/2025, 18:29:51: Compilation en cours…
25/03/2025, 18:29:56: Recompiler
Compilation took 5.20 seconds!
25/03/2025, 18:29:59: Compilation en cours…
25/03/2025, 18:30:05: Recompiler
Compilation took 5.33 seconds!

Source: the Stack Overflow answer 15762794

<details> <summary>JavaScript code:</summary> ```javascript function getElementByXpath(path) { return document.evaluate(path, document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue; } function getRecompileButton() { return getElementByXpath('//span[@class="btn-recompile-label"]'); } var element = getRecompileButton(); var MutationObserver = window.MutationObserver || window.WebKitMutationObserver || window.MozMutationObserver; var observer = new MutationObserver(myFunction); observer.observe(element, { attributes: true }); function getTimestamp() { return new Date().getTime(); } var lastRecompileTime; function myFunction() { const currentLabel = getRecompileButton().innerHTML; console.log(new Date().toLocaleString() + ': ' + currentLabel); switch(currentLabel) { case 'Compilation en cours…': lastRecompileTime = getTimestamp(); break; case 'Recompiler': console.log(`Compilation took ${((getTimestamp() - lastRecompileTime) / 1_000).toFixed(2)} seconds!`) break; //default: } } ``` </details> <details> <summary>Output:</summary> ``` 25/03/2025, 18:29:51: Compilation en cours… 25/03/2025, 18:29:56: Recompiler Compilation took 5.20 seconds! 25/03/2025, 18:29:59: Compilation en cours… 25/03/2025, 18:30:05: Recompiler Compilation took 5.33 seconds! ``` </details> Source: [the Stack Overflow answer 15762794](https://stackoverflow.com/a/15762794)

Benjamin_Loison commented 2025-03-25 18:34:41 +01:00

Author

Owner

Copy Link

Copy Source

Related to benjaminloison/kile/issues/24.

Related to [benjaminloison/kile/issues/24](https://invent.kde.org/benjaminloison/kile/-/issues/24).

Benjamin_Loison referenced this issue 2025-03-25 23:03:20 +01:00

Does not leverage previous compilations? #38

Benjamin_Loison commented 2025-03-26 14:05:46 +01:00

Author

Owner

Copy Link

Copy Source

Related to Improve_websites_thanks_to_open_source/issues/1542.

Related to [Improve_websites_thanks_to_open_source/issues/1542](https://codeberg.org/Benjamin_Loison/Improve_websites_thanks_to_open_source/issues/1542).

Benjamin_Loison commented 2025-04-12 02:50:18 +02:00

Author

Owner

Copy Link

Copy Source

Related to Benjamin-Loison/selenium/issues/16.

Related to [Benjamin-Loison/selenium/issues/16](https://github.com/Benjamin-Loison/selenium/issues/16).

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

No results found.

No results found.

Labels

No items

No labels

Milestone

No items

No Milestone

Projects

Clear projects

No projects

Assignees

Clear assignees

Benjamin_Loison (Benjamin Loison)

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Benjamin_Loison/overleaf#40