mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
tip for search in settings (IDEA-60097)
This commit is contained in:
@@ -0,0 +1,13 @@
|
||||
<html>
|
||||
<body style="font-family: Verdana; font-size: 13;" LEFTMARGIN="25" TOPMARGIN="25">
|
||||
<table cellpadding="15" width="98%" border="0">
|
||||
<tr>
|
||||
<td>You can quickly find a setting you need in the Settings dialog, without browsing through the numerous options.
|
||||
Just type some characters that to your opinion exist in the option description, and the list of settings will reduce to the
|
||||
matching ones. Select the desired entry, and see the setting that contains the entered characters highlighted:
|
||||
<p><img hspace="20" src="images/search_settings.png"></p>
|
||||
</td>
|
||||
</tr>
|
||||
</table>
|
||||
</body>
|
||||
</html>
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 6.9 KiB |
@@ -84,6 +84,7 @@
|
||||
<tip file="EclipseQuickOpen.html"/>
|
||||
<tip file="ShowUsages.html"/>
|
||||
<tip file="GoToAction.html"/>
|
||||
<tip file="SearchInSettings.html"/>
|
||||
<tip file="CompleteMethod.html"/>
|
||||
<tip file="HighlightImplements.html"/>
|
||||
<tip file="RecentSearch.html"/>
|
||||
|
||||
Reference in New Issue
Block a user