Pb Intranavigator en cas de non install (6a06d981) · Commits · open-source / OSE

public/js/intranavigator.js

+11 −0

Changes for public/js/intranavigator.js: 11 added lines, 0 removed lines.
Original line number	Diff line number	Diff line
		IntraNavigator = {
		_loadingTooltip: null,
		_loading: false,
		_installed: false,

		install()
		{
		@@ -25,6 +26,8 @@ IntraNavigator = {
		observer.observe(document.body, {
		childList: true, subtree: true
		});

		this._installed = true;
		},


		@@ -396,6 +399,10 @@ IntraNavigator = {

		loadBegin()
		{
		if (!this._installed) {
		this.install();
		}

		IntraNavigator._loadingTooltip.style.display = 'block';
		this._loading = true;
		},
		@@ -404,6 +411,10 @@ IntraNavigator = {

		loadEnd()
		{
		if (!this._installed) {
		this.install();
		}

		IntraNavigator._loadingTooltip.style.display = 'none';
		this._loading = false;
		},