From dd675c4e8d4fefc25b61f30f55179eb384ee3e98 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Mon, 15 May 2017 09:16:24 +0200 Subject: [PATCH] Set title for :view-source pages --- qutebrowser/browser/commands.py | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/qutebrowser/browser/commands.py b/qutebrowser/browser/commands.py index f70b72a32..ba2f8a3ff 100644 --- a/qutebrowser/browser/commands.py +++ b/qutebrowser/browser/commands.py @@ -1371,10 +1371,18 @@ class CommandDispatcher: def show_source_cb(source): """Show source as soon as it's ready.""" + try: + current_url = self._current_url() + except cmdexc.CommandError as e: + message.error(str(e)) + return + lexer = pygments.lexers.HtmlLexer() - formatter = pygments.formatters.HtmlFormatter(full=True, - linenos='table') + formatter = pygments.formatters.HtmlFormatter( + full=True, linenos='table', + title='Source for {}'.format(current_url.toDisplayString())) highlighted = pygments.highlight(source, lexer, formatter) + new_tab = self._tabbed_browser.tabopen() new_tab.set_html(highlighted) new_tab.data.viewing_source = True