From 4469f15bc67afb53c8c0186bc3894625bcc64bcd Mon Sep 17 00:00:00 2001 From: Roman Shevchenko Date: Wed, 1 Jul 2015 12:41:20 +0300 Subject: [PATCH] update fix (duplicate tip dropped) --- resources-en/src/tips/QuickDocOnMouseMove.html | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 resources-en/src/tips/QuickDocOnMouseMove.html diff --git a/resources-en/src/tips/QuickDocOnMouseMove.html b/resources-en/src/tips/QuickDocOnMouseMove.html deleted file mode 100644 index a9236fbcb901..000000000000 --- a/resources-en/src/tips/QuickDocOnMouseMove.html +++ /dev/null @@ -1,16 +0,0 @@ - - - - - - -

You don't need to invoke quick documentation explicitly - (&shortcut:QuickJavaDoc;) - if you just move your mouse - pointer over the desired symbol, the quick documentation pop-up window will show - automatically.

-

To enable this feature, select the check box Show quick doc on mouse move - in the General page of the editor settings: -

-

- -