From 7a05a835f5240faac21601841823d6fd80a0d96e Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Tue, 15 Jan 2013 18:11:40 +0100
Subject: [PATCH] advertise ctrl+dot

---
 python/resources/ProductivityFeaturesRegistry.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/python/resources/ProductivityFeaturesRegistry.xml b/python/resources/ProductivityFeaturesRegistry.xml
index f042a49920f9..87df42bf4b50 100644
--- a/python/resources/ProductivityFeaturesRegistry.xml
+++ b/python/resources/ProductivityFeaturesRegistry.xml
@@ -87,6 +87,13 @@
       first-show="6"
       successive-show="8"
       />
+    <feature
+        id="editing.completion.finishByCtrlDot"
+        tip-file="CtrlDotInLookups.html"
+        min-usage-count="7"
+        first-show="4"
+        successive-show="8"
+        />
     <feature
       id="editing.completion.finishByDotEtc"
       tip-file="DotEtcInLookups.html"