diff options
| author | Pradyun Gedam <pradyunsg@users.noreply.github.com> | 2022-01-02 18:32:30 +0530 |
|---|---|---|
| committer | Pradyun Gedam <pradyunsg@users.noreply.github.com> | 2022-01-02 18:32:30 +0530 |
| commit | bc635627d32b52e8e1381f23cddecf26429db1ae (patch) | |
| tree | b8adb6b59cf1aa22ed25a042c803d71838635aec /sphinx/themes/basic/static/doctools.js | |
| parent | d417b0ab8399810079cdafddc6ebaa46a6a85036 (diff) | |
| download | sphinx-git-bc635627d32b52e8e1381f23cddecf26429db1ae.tar.gz | |
Change "Permalink to this {headline -> heading}"
"heading" is a better word to use in this tooltip, since it better
matches the use case.
Diffstat (limited to 'sphinx/themes/basic/static/doctools.js')
| -rw-r--r-- | sphinx/themes/basic/static/doctools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js index b6fba5f1e..86420beca 100644 --- a/sphinx/themes/basic/static/doctools.js +++ b/sphinx/themes/basic/static/doctools.js @@ -196,7 +196,7 @@ var Documentation = { $('div[id] > :header:first').each(function() { $('<a class="headerlink">\u00B6</a>'). attr('href', '#' + this.id). - attr('title', _('Permalink to this headline')). + attr('title', _('Permalink to this heading')). appendTo(this); }); $('dt[id]').each(function() { |