2015-10-13 16:42:40 +02:00
|
|
|
'use strict';
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
2015-10-20 11:35:32 +02:00
|
|
|
* Set the title in the browser window.
|
2015-10-13 16:42:40 +02:00
|
|
|
*/
|
|
|
|
export function setDocumentTitle(title) {
|
2015-10-20 11:35:32 +02:00
|
|
|
document.title = title;
|
2015-10-13 16:42:40 +02:00
|
|
|
}
|