From 5dc4b398c2eacf73355132881f6bde14241d0a98 Mon Sep 17 00:00:00 2001 From: Pablo Vazquez Date: Thu, 5 Oct 2017 15:33:50 +0200 Subject: [PATCH] updateTitle is no longer needed since we now have DocumentTitleAPI taking care of titles in 0_navbar.js (part of tutti.min.js) --- src/templates/layout.pug | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/templates/layout.pug b/src/templates/layout.pug index 11f6d32..f17f274 100644 --- a/src/templates/layout.pug +++ b/src/templates/layout.pug @@ -321,10 +321,6 @@ html(lang="en") {% if current_user.is_authenticated %} getNotificationsLoop(); // Check for new notifications in the background - $('body').on('pillar:notifications-total-updated', function(e, notifications_total) { - updateTitle(notifications_total, page_title); - }); - // Resize #notifications and change overflow for scrollbars $(window).on("resize", function() { notificationsResize(); }); {% endif %} @@ -340,8 +336,6 @@ html(lang="en") | {% block footer_scripts_pre %}{% endblock %} | {% block footer_scripts %}{% endblock %} - - script. (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),