From 3700658c6d2ccefa23251861173c954129e244fc Mon Sep 17 00:00:00 2001
From: Mikhail Golubev <mikhail.golubev@jetbrains.com>
Date: Fri, 11 Dec 2015 18:53:07 +0300
Subject: [PATCH] PY-17756 Don't check that remote documentation for an element
 exists on Ctrl+Hover event

---
 .../jetbrains/python/documentation/PyDocumentationBuilder.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/src/com/jetbrains/python/documentation/PyDocumentationBuilder.java b/python/src/com/jetbrains/python/documentation/PyDocumentationBuilder.java
index 4caabd03b553..4560af774fc3 100644
--- a/python/src/com/jetbrains/python/documentation/PyDocumentationBuilder.java
+++ b/python/src/com/jetbrains/python/documentation/PyDocumentationBuilder.java
@@ -113,7 +113,7 @@ public class PyDocumentationBuilder {
         buildForKeyword(elementDefinition.getText());
       }
     }
-    final String url = PythonDocumentationProvider.getUrlFor(myElement, myOriginalElement, true);
+    final String url = PythonDocumentationProvider.getUrlFor(myElement, myOriginalElement, false);
     if (url != null) {
       myEpilog.addItem(BR);
       myEpilog.addWith(TagBold, $("External documentation:"));