advertise ctrl+dot

2026-09-27 10:03:11 +07:00 · 2013-01-16 11:20:23 +01:00
parent e72fa6e79e
commit 7a05a835f5
1 changed files with 7 additions and 0 deletions
@@ -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"