Function pushToNavbar

src/pages/fileBrowser/fileBrowser.js:1510–1532

* Pushes a navigation button to navbar * @param {String} id * @param {String} name * @param {String} url

(name, url, action)

		 * @param {String} url
		 */
		function pushToNavbar(name, url, action) {
			if (!url) return;
			const displayName = name || Url.basename(url) || url;
			$navigation.append(
				<span
					id={getNavId(url)}
					className="nav"
					data-url={url}
					data-name={displayName}
					attr-action="navigation"
					attr-text={displayName}
					tabIndex={-1}
				></span>,
			);
			$navigation.scrollLeft = $navigation.scrollWidth;

			if (action && !actionStack.has(url)) {
				actionStack.push({
					id: url,
					action,
				});
			}
		}

		/**
		 * Loads up given states