livebook-dev/livebook
1
1
Fork 0
mirror of https://github.com/livebook-dev/livebook.git synced 2024-09-20 10:05:57 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update favicon when navigating across sessions (#603)

Browse source
This commit is contained in:
Jonatan Kłosko 2021-10-18 22:36:00 +02:00 committed by GitHub
parent 06f83def3d
commit 866abe8dee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
assets/js/session/index.js
View file

@ -70,6 +70,10 @@ const Session = {
followedClientPid: null, followedClientPid: null,
}; };
// Set initial favicon based on the current status
setFavicon(faviconForEvaluationStatus(this.props.globalEvaluationStatus));
// Load initial data // Load initial data
this.pushEvent("session_init", {}, ({ clients }) => { this.pushEvent("session_init", {}, ({ clients }) => {
@ -211,10 +215,7 @@ const Session = {
if ( if (
this.props.globalEvaluationStatus !== prevProps.globalEvaluationStatus this.props.globalEvaluationStatus !== prevProps.globalEvaluationStatus
) { ) {
const favicon = faviconForEvaluationStatus( setFavicon(faviconForEvaluationStatus(this.props.globalEvaluationStatus));
this.props.globalEvaluationStatus
);
setFavicon(favicon);
} }
}, },
@ -224,6 +225,8 @@ const Session = {
document.removeEventListener("keydown", this.handleDocumentKeyDown); document.removeEventListener("keydown", this.handleDocumentKeyDown);
document.removeEventListener("mousedown", this.handleDocumentMouseDown); document.removeEventListener("mousedown", this.handleDocumentMouseDown);
document.removeEventListener("dblclick", this.handleDocumentDoubleClick); document.removeEventListener("dblclick", this.handleDocumentDoubleClick);
setFavicon("favicon");
}, },
}; };