Skip to content

Commit

Permalink
#916 jupyterlab fix
Browse files Browse the repository at this point in the history
  • Loading branch information
filippomc committed Feb 27, 2025
1 parent f3aeb33 commit 458f95d
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions applications/jupyterlab/overrides/index.html
Original file line number Diff line number Diff line change
@@ -1,9 +1,12 @@
<!doctype html>
<html lang="en">

<head><meta charset="utf-8"><title>JupyterLab</title><meta name="viewport" content="width=device-width,initial-scale=1">{# Copy so we do not modify the page_config with updates. #} {% set page_config_full = page_config.copy() %} {# Set a dummy variable - we just want the side effect of the update. #} {% set _ = page_config_full.update(baseUrl=base_url, wsUrl=ws_url) %}<script id="jupyter-config-data" type="application/json">{{ page_config_full | tojson }}</script>{% block favicon %}<link rel="icon" type="image/x-icon" href="{{ base_url | escape }}static/favicons/favicon.ico" class="idle favicon"><link rel="" type="image/x-icon" href="{{ base_url | escape }}static/favicons/favicon-busy-1.ico" class="busy favicon">{% endblock %}<script defer="defer" src="{{page_config.fullStaticUrl}}/main.006c51afc5ba8822ed23.js?v=006c51afc5ba8822ed23"></script></head>
<head><meta charset="utf-8"><title>JupyterLab</title><meta name="viewport" content="width=device-width,initial-scale=1">{# Copy so we do not modify the page_config with updates. #} {% set page_config_full = page_config.copy() %} {# Set a dummy variable - we just want the side effect of the update. #} {% set _ = page_config_full.update(baseUrl=base_url, wsUrl=ws_url) %}<script id="jupyter-config-data" type="application/json">{{ page_config_full | tojson }}</script>{% block favicon %}<link rel="icon" type="image/x-icon" href="{{ base_url | escape }}static/favicons/favicon.ico" class="idle favicon"><link rel="" type="image/x-icon" href="{{ base_url | escape }}static/favicons/favicon-busy-1.ico" class="busy favicon">{% endblock %} {% if custom_css %}<link rel="stylesheet" href="{{ base_url | escape }}custom/custom.css">{% endif %}<script defer="defer" src="{{page_config.fullStaticUrl}}/main.ea7277c9c015ae398545.js?v=ea7277c9c015ae398545"></script></head>

<body>



<body class="jp-ThemedContainer">
<script>/* Remove token from URL. */
(function () {
var location = window.location;
Expand Down

0 comments on commit 458f95d

Please sign in to comment.