deploy: a3f9ca4

InSyncWithFoo · Mar 18, 2024 · 0382afa · 0382afa
1 parent 659e61d
commit 0382afa
Show file tree

Hide file tree

Showing 13 changed files with 47 additions and 24 deletions.
diff --git a/404.html b/404.html
@@ -14,15 +14,15 @@
 
 
       <link rel="icon" href="/pyright-for-pycharm/img/icon.svg">
-      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.13">
+      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.14">
 
 
 
         <title>Pyright for PyCharm</title>
 
 
 
-      <link rel="stylesheet" href="/pyright-for-pycharm/assets/stylesheets/main.7e359304.min.css">
+      <link rel="stylesheet" href="/pyright-for-pycharm/assets/stylesheets/main.10ba22f1.min.css">
 
 
         <link rel="stylesheet" href="/pyright-for-pycharm/assets/stylesheets/palette.06af60db.min.css">
@@ -361,7 +361,7 @@ <h1>404 - Not found</h1>
     <script id="__config" type="application/json">{"base": "/pyright-for-pycharm/", "features": ["content.action.edit"], "search": "/pyright-for-pycharm/assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="/pyright-for-pycharm/assets/javascripts/bundle.c8d2eff1.min.js"></script>
+      <script src="/pyright-for-pycharm/assets/javascripts/bundle.bd41221c.min.js"></script>
 
 
   </body>

diff --git a/assets/javascripts/bundle.c8d2eff1.min.js → assets/javascripts/bundle.bd41221c.min.js b/assets/javascripts/bundle.c8d2eff1.min.js → assets/javascripts/bundle.bd41221c.min.js
diff --git a/...ts/javascripts/bundle.c8d2eff1.min.js.map → ...ts/javascripts/bundle.bd41221c.min.js.map b/...ts/javascripts/bundle.c8d2eff1.min.js.map → ...ts/javascripts/bundle.bd41221c.min.js.map
diff --git a/assets/stylesheets/main.10ba22f1.min.css b/assets/stylesheets/main.10ba22f1.min.css
diff --git a/assets/stylesheets/main.10ba22f1.min.css.map b/assets/stylesheets/main.10ba22f1.min.css.map
diff --git a/assets/stylesheets/main.7e359304.min.css b/assets/stylesheets/main.7e359304.min.css
diff --git a/assets/stylesheets/main.7e359304.min.css.map b/assets/stylesheets/main.7e359304.min.css.map
diff --git a/configurations/index.html b/configurations/index.html
@@ -20,15 +20,15 @@
 
 
       <link rel="icon" href="../img/icon.svg">
-      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.13">
+      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.14">
 
 
 
         <title>Configurations - Pyright for PyCharm</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.7e359304.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.10ba22f1.min.css">
 
 
         <link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
@@ -373,6 +373,15 @@
     </span>
   </a>
 
+</li>
+
+          <li class="md-nav__item">
+  <a href="#add-prefix-to-tooltips" class="md-nav__link">
+    <span class="md-ellipsis">
+      Add prefix to tooltips
+    </span>
+  </a>
+
 </li>
 
       </ul>
@@ -491,6 +500,15 @@
     </span>
   </a>
 
+</li>
+
+          <li class="md-nav__item">
+  <a href="#add-prefix-to-tooltips" class="md-nav__link">
+    <span class="md-ellipsis">
+      Add prefix to tooltips
+    </span>
+  </a>
+
 </li>
 
       </ul>
@@ -557,7 +575,12 @@ <h3 id="always-use-global">Always use global<a class="headerlink" href="#always-
 <h3 id="use-editor-font">Use editor font<a class="headerlink" href="#use-editor-font" title="Permanent link">#</a></h3>
 <p>Check this option to display annotations in your editor font.
 This option is not applied retroactively;
-you might need make an edit to see the effect.</p>
+you might need to make an edit to see the effect.</p>
+<p>Default: <code>false</code></p>
+<h3 id="add-prefix-to-tooltips">Add prefix to tooltips<a class="headerlink" href="#add-prefix-to-tooltips" title="Permanent link">#</a></h3>
+<p>Check this option to prefix tooltips with "Pyright:".
+This option is not applied retroactively;
+you might need to make an edit to see the effect.</p>
 <p>Default: <code>false</code></p>
 
 
@@ -608,7 +631,7 @@ <h3 id="use-editor-font">Use editor font<a class="headerlink" href="#use-editor-
     <script id="__config" type="application/json">{"base": "..", "features": ["content.action.edit"], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.c8d2eff1.min.js"></script>
+      <script src="../assets/javascripts/bundle.bd41221c.min.js"></script>
 
 
   </body>

diff --git a/faq/index.html b/faq/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="../img/icon.svg">
-      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.13">
+      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.14">
 
 
 
         <title>FAQ - Pyright for PyCharm</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.7e359304.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.10ba22f1.min.css">
 
 
         <link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
@@ -652,7 +652,7 @@ <h2 id="i-love-this-plugin-how-can-i-support-it">I love this plugin. How can I s
     <script id="__config" type="application/json">{"base": "..", "features": ["content.action.edit"], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.c8d2eff1.min.js"></script>
+      <script src="../assets/javascripts/bundle.bd41221c.min.js"></script>
 
 
   </body>

diff --git a/index.html b/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="img/icon.svg">
-      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.13">
+      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.14">
 
 
 
         <title>Pyright for PyCharm</title>
 
 
 
-      <link rel="stylesheet" href="assets/stylesheets/main.7e359304.min.css">
+      <link rel="stylesheet" href="assets/stylesheets/main.10ba22f1.min.css">
 
 
         <link rel="stylesheet" href="assets/stylesheets/palette.06af60db.min.css">
@@ -464,7 +464,7 @@ <h2 id="screenshots">Screenshots<a class="headerlink" href="#screenshots" title=
     <script id="__config" type="application/json">{"base": ".", "features": ["content.action.edit"], "search": "assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="assets/javascripts/bundle.c8d2eff1.min.js"></script>
+      <script src="assets/javascripts/bundle.bd41221c.min.js"></script>
 
 
   </body>